A Gentzen system for conditional logic
Studia Logica 53 (2):243 - 257 (1994)
| Abstract | Conditional logic is the deductive system , where is the set of propositional connectives {, ,} and is the structural finitary consequence relation on the absolutely free algebra that preserves degrees of truth over the structure of truth values C, . HereC is the non-commutative regular extension of the 2-element Boolean algebra to 3 truth values {t, u, f}, andfut. In this paper we give a Gentzen type axiomatization for conditional logic. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesWilliam S. Cooper (1968). The Propositional Logic of Ordinary Discourse. Inquiry 11 (1-4):295 – 320.
John Pais (1992). Revision Algebra Semantics for Conditional Logic. Studia Logica 51 (2):279 - 316.
Kentaro Kikuchi & Katsumi Sasaki (2003). A Cut-Free Gentzen Formulation of Basic Propositional Calculus. Journal of Logic, Language and Information 12 (2):213-225.
Tsutomu Hosoi (1988). Gentzen-Type Formulation of the Prepositional Logic LQ. Studia Logica 47 (1):41 - 48.
Robert C. Stalnaker (1970). Probability and Conditionals. Philosophy of Science 37 (1):64-80.
Mojtaba Aghaei & Mohammad Ardeshir (2001). Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic. Studia Logica 68 (2):263-285.
Peter Roeper (2004). A Sequent Formulation of Conditional Logic Based on Belief Change Operations. Studia Logica 77 (3):425 - 438.
Matthias Baaz & Rosalie Iemhoff (2006). Gentzen Calculi for the Existence Predicate. Studia Logica 82 (1):7 - 23.
Grigori Mints (1993). Resolution Calculus for the First Order Linear Logic. Journal of Logic, Language and Information 2 (1):59-83.
Philip G. Calabrese (2005). Toward a More Natural Expression of Quantum Logic with Boolean Fractions. Journal of Philosophical Logic 34 (4):363 - 401.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #202,008 of 549,124 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
