Stable formulas in intuitionistic logic

DOI10.1215/00294527-2017-0030zbMATH Open1456.03052OpenAlexW2799494962MaRDI QIDQ1782236FDOQ1782236

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

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

zbMATH Keywords

intuitionistic logicaxiomatizationintermediate logicsmonotonic mapsstable logicssubframe logics

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Stable canonical rules
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logics containing K4. Part II
• An algebraic approach to subframe logics. Intuitionistic case
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• Syntax and semantics of superintuitionistic logics
• Title not available (Why is that?)
• Locally finite reducts of Heyting algebras and canonical formulas
• An algebraic approach to canonical formulas: modal case
• Frame based formulas for intermediate logics
• Canonical formulas \(\mathbf{wK4}\)

Cited In (18)

• 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
• Title not available (Why is that?)
• Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
• Stable inference as intuitionistic validity
• Stability and General Logics
• On stability of a formal concept

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)