Search Sciweavers | Sciweavers

3047 search results - page 28 / 610

» On the Meaning of Logical Completeness

Voted

MFCS
1993
Springer

115views Theoretical Computer Science» more MFCS 1993»

Completeness Results for Linear Logic on Petri Nets

15 years 1 months ago

Download www.daimi.au.dk

Uffe Engberg, Glynn Winskel

claim paper

Read More »

Voted

RELMICS
2000
Springer

73views Theoretical Computer Science» more RELMICS 2000»

On the Completeness of Propositional Hoare Logic

15 years 1 months ago

Download ecommons.library.cornell.edu

Dexter Kozen, Jerzy Tiuryn

claim paper

Read More »

click to vote

LICS
1995
IEEE

111views Automated Reasoning» more LICS 1995»

Complete Proof Systems for First Order Interval Temporal Logic

15 years 1 months ago

Download www.cse.dmu.ac.uk

Bruno Dutertre

claim paper

Read More »

click to vote

FSS
2007

128views more FSS 2007»

Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results

14 years 9 months ago

Download www.carlesnoguera.cat

Francesc Esteva, Joan Gispert, Lluis Godo, Carles ...

claim paper

Read More »

Voted

JSYML
2000

45views more JSYML 2000»

Topological Completeness for Higher-Order Logic

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers