Stable formulas in intuitionistic logic

DOI10.1215/00294527-2017-0030MaRDI QIDQ1782236zbMATH OpenOpenAlexFDO

Authors Nick Bezhanishvili, Dick H. J. de Jongh

Publication date 19 September 2018

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

Full work available at URL https://projecteuclid.org/euclid.ndjfl/1525420860, https://semanticscholar.org/paper/15ebde507fe5657766cb28913229b5e8b21f17b6

zbMATH Keywords

intuitionistic logicaxiomatizationintermediate logicsmonotonic mapsstable logicssubframe logics

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Recommendations

• Remarks on Stable Formulas in Intuitionistic Logic
• Frame based formulas for intermediate logics
• \textsf{NNIL} axioms have the finite model property
• scientific article; zbMATH DE number 2024612
• Subframization and stabilization for superintuitionistic logics

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 1028819 (Why is no real title available?)
• scientific article; zbMATH DE number 6863852 (Why is no real title available?)
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• An algebraic approach to canonical formulas: modal case
• An algebraic approach to subframe logics. Intuitionistic case
• Canonical formulas \(\mathbf{wK4}\)
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Frame based formulas for intermediate logics
• Locally finite reducts of Heyting algebras and canonical formulas
• Logics containing K4. Part II
• Modal logic
• Stable canonical rules
• Syntax and semantics of superintuitionistic logics

Cited in

(18)

• On stability of a formal concept
• On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics
• Intermediate logics admitting a structural hypersequent calculus
• Safe Formulas in the General Theory of Stable Models (Preliminary Report)
• Remarks on Stable Formulas in Intuitionistic Logic
• \textsf{NNIL} axioms have the finite model property
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• On equivalence of infinitary formulas under the stable model semantics
• Extendible formulas in two variables in intuitionistic logic
• Intermediate logics in the setting of team semantics
• Notes on my scientific life
• A model of intuitionistic affine logic from stable domain theory
• A Free Logic for Stable Models with Partial Intensional Functions
• Subintuitionistic logics and the implications they prove
• scientific article; zbMATH DE number 6970800 (Why is no real title available?)
• Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
• Stable inference as intuitionistic validity
• Stability and General Logics

This page was built for publication: Stable formulas in intuitionistic logic

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