For Want of an ‘And’: A Puzzle about Non-Conservative Extension
From MaRDI portal
Publication:5317773
DOI10.1080/01445340412331325140zbMath1074.03002OpenAlexW2080171314WikidataQ58553731 ScholiaQ58553731MaRDI QIDQ5317773
Publication date: 21 September 2005
Published in: History and Philosophy of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/01445340412331325140
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Basic properties of the equivalence
- An axiomatization of the equivalential fragment of the three-valued logic of Łukasiewicz
- Constructing denumerable matrices strongly adequate for pre-finite logics
- Subformula results in some propositional modal logics
- Ramsey eliminability
- Linearization of the BCK-logic
- The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s
- Pseudo two-valued evaluation method for intermediate logics
- Skolem's discovery of Gödel-Dummett logic
- More proofs of an axiom of Łukasiewicz
- Urquhart's \({\mathbf C}\) with intuitionistic negation: Dummett's \({\mathbf {LC}}\) without the contraction axiom
- Expressive power and semantic completeness: Boolean connectives in modal logic
- Independence of Tarski's law in Henkin's propositional fragments
- A propositional calculus with denumerable matrix
- A Descending Chain of Incomplete Extensions of Implicational S 5
- On The Role of The Polynomial (X → Y) →Y in Some Implicative Algebras
- The implicational fragment of Dummett's LC
- Brouwerian Semilattices
- A Complete Semantics for Implicational Logics
- ON THE INCOMPLETENESS OF A DESCENDING CHAIN OF EXTENSIONS OF IMPLICATIONAL S5
- An incomplete logic containing S4
- Some results for implicational calculi
- The independence of connectives
- Postulates for implicational calculi
- Two additions to positive implication
- Some structure results for propositional calculi
- Proof of the independence of the primitive symbols of Heyting's calculus of propositions
