Sciweavers

3658 search results - page 77 / 732

» The logic of proofs, semantically

27

AAAI
2008

98views Intelligent Agents» more AAAI 2008»

From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic

13 years 11 months ago

From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic

Download www.aaai.org

Joseph Y. Halpern

claim paper

Read More »

23

CORR
2008
Springer

92views Education» more CORR 2008»

Automated Termination Proofs for Logic Programs by Term Rewriting

13 years 9 months ago

Automated Termination Proofs for Logic Programs by Term Rewriting

Download tocl.acm.org

Peter Schneider-Kamp, Jürgen Giesl, Alexander...

claim paper

Read More »

11

CORR
2006
Springer

96views Education» more CORR 2006»

Proof Search in Hajek's Basic Logic

13 years 9 months ago

Proof Search in Hajek's Basic Logic

Download tocl.acm.org

Simone Bova, Franco Montagna

claim paper

Read More »

9

CORR
2007
Springer

82views Education» more CORR 2007»

Proof nets for display logic

13 years 9 months ago

Proof nets for display logic

Download www.labri.fr

Richard Moot

claim paper

Read More »

22

JANCL
2007

66views more JANCL 2007»

Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI

13 years 9 months ago

Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI

Download www.ifispan.waw.pl

Joanna Golinska-Pilarek

claim paper

Read More »

« Prev « First page 77 / 732 Last » Next »