scientific article; zbMATH DE number 3316016
From MaRDI portal
Publication:5595146
Recommendations
- Properties of superintuitionistic propositional calculi
- scientific article; zbMATH DE number 4027437
- One superintuitionistic calculus of propositions
- scientific article; zbMATH DE number 3639589
- [Russian Text Ignored.]
- scientific article; zbMATH DE number 5827852
- Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi
- scientific article; zbMATH DE number 4045717
- A result on the completeness of superintuitionistic logics
- On the number of variables in undecidable superintuitionistic propositional calculi
Cited in
(49)- Frame based formulas for intermediate logics
- On superintuitionistic logics as fragments of proof logic extensions
- On maximal intermediate logics with the disjunction property
- New operations in intuitionistic calculus
- An infinite class of maximal intermediate propositional logics with the disjunction property
- A study of intermediate propositional logics on the third slice
- A lattice of normal modal logics
- Equational axioms for classes of Heyting algebras
- \(2^{\aleph_0}\) varieties of Heyting algebras not generated by their finite members
- On some intuitionistic modal logics
- The structure of lattices of subframe logics
- A semantic hierarchy for intuitionistic logic
- Negative equivalence of extensions of minimal logic
- On the structure of paraconsistent extensions of Johansson's logic
- Hereditarily structurally complete superintuitionistic deductive systems
- A study of intermediate predicate logics
- In search of a ``true logic of knowledge: The nonmonotonic perspective
- Constructing a continuum of predicate extensions of each intermediate propositional logic
- Axiomatic extensions of the constructive logic with strong negation and the disjunction property
- Epimorphism surjectivity in varieties of Heyting algebras
- Profiniteness and representability of spectra of Heyting algebras
- Varieties of BL-algebras. III: Splitting algebras
- Explicating logical independence
- Splittings in GBL-algebras. I: The general case
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
- Axiomatization of models for intermediate logics constructed with Boolean models by piling up
- Some results on the intermediate logics
- In search of a ``true logic of knowledge: the nonmonotonic perspective
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
- Forbidden configurations and subframe varieties
- scientific article; zbMATH DE number 4072945 (Why is no real title available?)
- A new constant in superintuitionistic logic L3
- AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS
- Cofinal stable logics
- Characteristic formulas over intermediate logics
- On algebraisation of superintuitionistic predicate logics
- On the Blok-Esakia theorem
- Partitioning Kripke frames of finite height
- V. Yankov’s Contributions to Propositional Logic
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics
- Yankov Characteristic Formulas (An Algebraic Account)
- A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics
- Esakia duals of regular Heyting algebras
- Lattices of Intermediate Theories via Ruitenburg's Theorem
- An algebraic approach to canonical formulas: modal case
- Bi-intermediate logics of trees and co-trees
- Intermediate logics in the setting of team semantics
- New constants in two pretabular superintuitionistic logics
- A splitting logic in NExt(KTB)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5595146)
