Prior's OIC nonconservativity example revisited

DOI10.1080/11663081.2014.964490MaRDI QIDQ4583353zbMATH OpenOpenAlexFDO

Authors Lloyd Humberstone

Publication date 28 August 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2014.964490

zbMATH Keywords

modal logicconservative extensionintermediate logicsDummett's LCorder algebraspositive implicationHilbert algebras with infimum

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Other algebras related to logic (03G25)

Recommendations

• For Want of an ‘And’: A Puzzle about Non-Conservative Extension
• On a conservative extension argument of Dana Scott
• On some extensions of intuitionistic logic
• A1 is not a conservative extension of S4 but of S5
• Nonstandard connectives of intuitionistic propositional logic

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 35573 (Why is no real title available?)
• scientific article; zbMATH DE number 3587012 (Why is no real title available?)
• scientific article; zbMATH DE number 3614740 (Why is no real title available?)
• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• scientific article; zbMATH DE number 1474206 (Why is no real title available?)
• scientific article; zbMATH DE number 3231882 (Why is no real title available?)
• scientific article; zbMATH DE number 2208066 (Why is no real title available?)
• A propositional calculus with denumerable matrix
• Abelian logic and the logics of pointed lattice-ordered varieties
• Algebraizable logics
• Algebras defined from ordered sets and the varieties they generate
• An algebraic characterization of quantifiers
• An alternative propositional calculus for application to empirical sciences
• An intriguing logic with two implicational connectives
• Compatible elements in implicative models
• Extensions of intuitionistic logic without the deduction theorem: some simple examples
• For Want of an ‘And’: A Puzzle about Non-Conservative Extension
• Fragments of R-mingle
• Hypersequents, logical consequence and intermediate logics for concurrency
• Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5
• Lattice Theory: Foundation
• MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS
• Notes on Hilbert lattices
• ORDER ALGEBRAS
• On a conservative extension argument of Dana Scott
• On an implication connective of RM
• Order algebras
• Order algebras as models of linear logic
• Pure Hilbert Algebras with Infimum
• Remarks on Hertz algebras and implicative semilattices
• Residuated lattices. An algebraic glimpse at substructural logics
• Semantic analysis of orthologic
• Semantical investigations in Heyting's intuitionistic logic
• Some results for implicational calculi
• Spectral-like duality for distributive Hilbert algebras with infimum
• THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
• The connectives
• The implicational fragment of Dummett's LC
• The semantics and proof theory of linear logic
• The variety generated by order algebras.
• Two additions to positive implication
• \(iH\)-propositional calculus

Cited in

(2)

• For Want of an ‘And’: A Puzzle about Non-Conservative Extension
• On Hilbert algebras generated by the order

This page was built for publication: Prior's OIC nonconservativity example revisited

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