Sciweavers

3658 search results - page 77 / 732

» The logic of proofs, semantically

135

AAAI
2008

98views Intelligent Agents» more AAAI 2008»

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

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

122

CORR
2008
Springer

92views Education» more CORR 2008»

Automated Termination Proofs for Logic Programs by Term Rewriting

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

80

CORR
2006
Springer

96views Education» more CORR 2006»

Proof Search in Hajek's Basic Logic

15 years 6 months ago

Proof Search in Hajek's Basic Logic

Download tocl.acm.org

Simone Bova, Franco Montagna

claim paper

Read More »

76

CORR
2007
Springer

82views Education» more CORR 2007»

Proof nets for display logic

15 years 6 months ago

Proof nets for display logic

Download www.labri.fr

Richard Moot

claim paper

Read More »

127

JANCL
2007

66views more JANCL 2007»

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

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