The substitution interpretation of the quantifiers (1968)

Cached

Download Links

by Author(s) J. Michael Dunn , Nuel D. Belnap , J. Michael , Dunn , Nuel D. Belnap
Venue:Nous
Citations:1 - 0 self

Active Bibliography

A Theorem Prover For Meta Theory – Frank Brown Tr-, Frank M. Brown - 1979
1 Compositionality -- With an appendix by B. Partee – Theo M. V. Janssen - 1997
1 Some non-standard interpretations of the axiomatic basis of Le´sniewski’s Ontology – Rafał Urbaniak, Received Greg Restall, C Rafał Urbaniak - 2006
16 A formal method for the abstract specification of software – John Mclean - 1984
Intuitionisitic Tableau Extracted – James Caldwell - 1999
Automated Reasoning (Bibliography) – A. Degtyarev, A. Voronkov, Formal Techniques - 1997
A Deductive Methodology to Handle Inconsistency in Databases – Leopoldo Bertossi, Camilla Schwind
Da Costa 1964 logical seminar: revisited – Memories Marcel Guillaume, Marcel Guillaume - 2004
1 Optimization and Translation of Tableau-Proofs into Resolution – Andreas Wolf - 1994
2 An Analytic Tableaux based Characterization of Data Base Repairs for Consistent Query Answering – Leopoldo Bertossi, Camilla Schwind - 2001
1 Understanding Topological Relationships through Comparisons of Similar Knots – Carol Strohecker - 1996
1 Finding Minimal Models by the Semantic Tableaux System – Kouichi Hirata - 1992
1 Discoveries and Experiments in the Automation of Mathematical Reasoning – Benjamin Price Shults, Benjamin Price Shults - 2002
8 Decidability Issues for Infinite-State Processes - a Survey – Søren Christensen, Datalogisk Afdeling, Ny Munkegade, Hans Hüttel, Afdeling For, Matematik Og Datalogi, Aalborg Universitetscenter - 1996
SYNTHESIZING “CORRECT-BY-CONSTRUCTION” DECISION PROCEDURES FROM CONSTRUCTIVE PROOFS. – James L. Caldwell Ii, Ph. D - 1998
Inter-level relations in computer science, biology, and psychology* – Fred Boogerd, Frank Bruggeman, Catholijn Jonker, Huib Looren, De Jong, Allard Tamminga, Jan Treur, Hans Westerhoff, Wouter Wijngaards
Constraint Acquisition You Can Chase but You Cannot Find – Sven Hartmann, Sebastian Link, Thu Trinh
Kanger's Choices in Automated Reasoning – Anatoli Degtyarev, Andrei Voronkov
Minimal and Complete Prefix Unification . . . – Jens Otten, Christoph Kreitz - 1997