Prior’s OIC nonconservativity example revisited

DOI10.1080/11663081.2014.964490zbMath1398.03141OpenAlexW2030280162MaRDI QIDQ4583353

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) Other algebras related to logic (03G25) Intermediate logics (03B55)

Related Items

On Hilbert algebras generated by the order

Cites Work

• An alternative propositional calculus for application to empirical sciences
• An intriguing logic with two implicational connectives
• Residuated lattices. An algebraic glimpse at substructural logics
• Abelian logic and the logics of pointed lattice-ordered varieties
• On an implication connective of RM
• The semantics and proof theory of linear logic
• Semantical investigations in Heyting's intuitionistic logic
• Hypersequents, logical consequence and intermediate logics for concurrency
• Semantic analysis of orthologic
• Fragments of R-mingle
• The variety generated by order algebras.
• Order algebras as models of linear logic
• Spectral-like duality for distributive Hilbert algebras with infimum
• Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5
• Algebras defined from ordered sets and the varieties they generate
• Compatible elements in implicative models
• On a conservative extension argument of Dana Scott
• Lattice Theory: Foundation
• A propositional calculus with denumerable matrix
• Algebraizable logics
• The implicational fragment of Dummett's LC
• ORDER ALGEBRAS
• For Want of an ‘And’: A Puzzle about Non-Conservative Extension
• MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS
• Pure Hilbert Algebras with Infimum
• Some results for implicational calculi
• Two additions to positive implication
• THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
• Order algebras
• An algebraic characterization of quantifiers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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