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

DOI10.1080/01445340412331325140MaRDI QIDQ5317773zbMATH OpenOpenAlexWikidataFDO

Authors 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

conjunctiondisjunctioninterdeducibilityintermediate logicprovability

Mathematics Subject Classification ID

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

Recommendations

• Prior's OIC nonconservativity example revisited
• On a conservative extension argument of Dana Scott
• New solutions to Novikov's problem for intuitionistic connectives
• Note on extending congruential modal logics
• Nonstandard connectives of intuitionistic propositional logic

Cites work

• A Complete Semantics for Implicational Logics
• A Descending Chain of Incomplete Extensions of Implicational S 5
• A propositional calculus with denumerable matrix
• An axiomatization of the equivalential fragment of the three-valued logic of Łukasiewicz
• An incomplete logic containing S4
• Basic properties of the equivalence
• Brouwerian Semilattices
• Constructing denumerable matrices strongly adequate for pre-finite logics
• Expressive power and semantic completeness: Boolean connectives in modal logic
• scientific article; zbMATH DE number 5917718 (Why is no real title available?)
• scientific article; zbMATH DE number 496039 (Why is no real title available?)
• scientific article; zbMATH DE number 2196616 (Why is no real title available?)
• scientific article; zbMATH DE number 3365239 (Why is no real title available?)
• Independence of Tarski's law in Henkin's propositional fragments
• Linearization of the BCK-logic
• More proofs of an axiom of Łukasiewicz
• ON THE INCOMPLETENESS OF A DESCENDING CHAIN OF EXTENSIONS OF IMPLICATIONAL S5
• On The Role of The Polynomial (X → Y) →Y in Some Implicative Algebras
• Postulates for implicational calculi
• Proof of the independence of the primitive symbols of Heyting's calculus of propositions
• Pseudo two-valued evaluation method for intermediate logics
• Ramsey eliminability
• Skolem's discovery of Gödel-Dummett logic
• Some results for implicational calculi
• Some structure results for propositional calculi
• Subformula results in some propositional modal logics
• The implicational fragment of Dummett's LC
• The independence of connectives
• The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s
• Two additions to positive implication
• Urquhart's \({\mathbf C}\) with intuitionistic negation: Dummett's \({\mathbf {LC}}\) without the contraction axiom

Cited in

(4)

• Replacement in logic
• Prior's OIC nonconservativity example revisited
• scientific article; zbMATH DE number 3995671 (Why is no real title available?)
• Topics, non-uniform substitutions, and variable sharing

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5317773)