Notre Dame Journal of Formal Logic 40 (2):258-272 (1999)
|Abstract||This paper is concerned with a natural deduction system for First Degree Entailment (FDE). First, we exhibit a brief history of FDE and of combined systems whose underlying idea is used in developing the natural deduction system. Then, after presenting the language and a semantics of FDE, we develop a natural deduction system for FDE. We then prove soundness and completeness of the system with respect to the semantics. The system neatly represents the four-valued semantics for FDE.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Maria Luisa Bonet & Samuel R. Buss (1993). The Deduction Rule and Linear and Near-Linear Proof Simulations. Journal of Symbolic Logic 58 (2):688-709.
Michael Gabbay, Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning.
Richard Routley (1979). Alternative Semantics for Quantified First Degree Relevant Logic. Studia Logica 38 (2):211 - 231.
Greg Restall & Francesco Paoli (2005). The Geometry of Non-Distributive Logics. Journal of Symbolic Logic 70 (4):1108 - 1126.
Torben Braüner (2004). Two Natural Deduction Systems for Hybrid Logic: A Comparison. Journal of Logic, Language and Information 13 (1):1-23.
Andrzej Indrzejczak (2003). A Labelled Natural Deduction System for Linear Temporal Logic. Studia Logica 75 (3):345 - 376.
Torben BraÜner (2005). Natural Deduction for First-Order Hybrid Logic. Journal of Logic, Language and Information 14 (2).
Allard Tamminga (1994). Logics of Rejection: Two Systems of Natural Deduction. Logique Et Analyse 146:169-208.
Yannis Delmas-Rigoutsos (1997). A Double Deduction System for Quantum Logic Based on Natural Deduction. Journal of Philosophical Logic 26 (1):57-67.
Ross Thomas Brady (forthcoming). Free Semantics. Journal of Philosophical Logic.
Added to index2010-07-26
Total downloads15 ( #78,761 of 549,753 )
Recent downloads (6 months)1 ( #63,425 of 549,753 )
How can I increase my downloads?