For Want of an ‘And’: A Puzzle about Non-Conservative Extension

DOI10.1080/01445340412331325140zbMath1074.03002OpenAlexW2080171314WikidataQ58553731 ScholiaQ58553731MaRDI QIDQ5317773

Lloyd Humberstone

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

zbMATH Keywords

provabilityconjunctionintermediate logicdisjunctioninterdeducibility

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Intermediate logics (03B55)

Related Items (2)

Prior’s OIC nonconservativity example revisited ⋮ Replacement in logic

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

This page was built for publication: For Want of an ‘And’: A Puzzle about Non-Conservative Extension