Sciweavers

3658 search results - page 77 / 732

» The logic of proofs, semantically

75

AAAI
2008

98views Intelligent Agents» more AAAI 2008»

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

15 years 2 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 »

61

CORR
2008
Springer

92views Education» more CORR 2008»

Automated Termination Proofs for Logic Programs by Term Rewriting

14 years 12 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 »

41

CORR
2006
Springer

96views Education» more CORR 2006»

Proof Search in Hajek's Basic Logic

14 years 12 months ago

Proof Search in Hajek's Basic Logic

Download tocl.acm.org

Simone Bova, Franco Montagna

claim paper

Read More »

43

CORR
2007
Springer

82views Education» more CORR 2007»

Proof nets for display logic

14 years 12 months ago

Proof nets for display logic

Download www.labri.fr

Richard Moot

claim paper

Read More »

79

JANCL
2007

66views more JANCL 2007»

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

14 years 11 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 »