Sub-sub-intuitionistic logic

DOI10.1215/00294527-2026-0002MaRDI QIDQ7320973zbMATH OpenFDO

Authors Jonte Deakin, Jim de Groot

Publication date 28 August 2026

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-67/issue-3/Sub-Sub-Intuitionistic-Logic/10.1215/00294527-2026-0002.full

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45)

Cites work

• A general approach to non-distributive logics
• A new semantics for intuitionistic predicate logic
• A propositional logic with explicit fixed points
• A topological representation of lattices
• A topological representation theory for lattices
• Basic conditional logic
• Basic intuitionistic conditional logic
• Bisimulation for conditional modalities
• Coalgebraic semantics of modal logics: an overview
• Completeness and correspondence in Chellas-Segerberg semantics
• Finite sum-product logic
• Generalized Kripke frames
• scientific article; zbMATH DE number 3930376 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 976409 (Why is no real title available?)
• scientific article; zbMATH DE number 1140580 (Why is no real title available?)
• scientific article; zbMATH DE number 1463149 (Why is no real title available?)
• Linear logic
• Modal logic
• Monotone subintuitionistic logic: duality and transfer results
• Non-distributive positive logic as a fragment of first-order logic over semilattices
• Notes on conditional logic
• Positive modal logic
• Positive modal logic beyond distributivity
• Stone duality for lattices
• Subintuitionistic logics
• Subintuitionistic logics and the implications they prove
• The conditional in quantum logic
• The geometry of non-distributive logics
• The Mathematics of Sentence Structure
• The Pontryagin duality of compact O-dimensional semilattices and its applications
• Two neighborhood semantics for subintuitionistic logics
• Uniform labelled calculi for conditional and counterfactual logics
• Weak Logics with Strict Implication

This page was built for publication: Sub-sub-intuitionistic logic

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