Remarks on Stable Formulas in Intuitionistic Logic
From MaRDI portal
Recommendations
- Stable formulas in intuitionistic logic
- \textsf{NNIL} axioms have the finite model property
- NNIL-formulas revisited: Universal models and finite model property
- On the axiomatization of finite K-frames
- scientific article; zbMATH DE number 928021
- scientific article; zbMATH DE number 1281983
- The principle of reflection via nested sequents
- Syntactic preservation theorems for intuitionistic predicate logic
- Infinitary propositional normal modal logic
- On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae
Cites work
- Canonical formulas for K4. Part II: Cofinal subframe logics
- Locally finite reducts of Heyting algebras and canonical formulas
- Logics containing K4. Part II
- On the Independent Axiomatizability of Modal and Intermediate Logics
- Stable formulas in intuitionistic logic
- Syntax and semantics of superintuitionistic logics
Cited in
(8)- Stable formulas in intuitionistic logic
- On stability of a formal concept
- On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics
- Stable inference as intuitionistic validity
- A model of intuitionistic affine logic from stable domain theory
- \textsf{NNIL} axioms have the finite model property
- Safe Formulas in the General Theory of Stable Models (Preliminary Report)
- NNIL-formulas revisited: Universal models and finite model property
This page was built for publication: Remarks on Stable Formulas in Intuitionistic Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5215503)
