Prior's OIC nonconservativity example revisited

DOI10.1080/11663081.2014.964490zbMATH Open1398.03141OpenAlexW2030280162MaRDI QIDQ4583353FDOQ4583353

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

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

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)

Cites Work

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

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)