J. SALERNO ⋆ REVISING THE LOGIC OF LOGICAL REVISION

Cached

Download Links

by Unknown Authors

Active Bibliography

849 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
Epistemic truth and excluded middle* – Cesare Cozzo, Università Di Roma ”la Sapienza
2 Revamping the Restriction Strategy by – Neil Tennant - 2007
Inferentialism, Logicism, Harmony, and a Counterpoint by – Neil Tennant - 2007
by – An Anti-realist, Reading Lewisian Mereology, Neil Tennant - 2007
162 Constructivism and Proof Theory – A. S. Troelstra - 2003
100 The Proof-Theory and Semantics of Intuitionistic Modal Logic – Alex K. Simpson - 1994
88 Categorical Logic – Andrew M. Pitts - 1995
84 Infinite Objects in Type Theory – Thierry Coquand