On formulas of one variable in intuitionistic propositional calculus

Recommendations

scientific article; zbMATH DE number 3871347
Classical propositional logic and decidability of variables in intuitionistic propositional logic
On density of truth of the intuitionistic logic in one variable
Extendible formulas in two variables in intuitionistic logic
A note on decidability of variables in intuitionistic propositional logic

Cites work

On closed elements in closure algebras
Proofs of non-deducibility in intuitionistic functional calculus
Über die Zwischensysteme der Aussagenlogik

Cited in

(64)

Nishimura formulas as one-place logical connectives in the elementary theory of Kripke models
An application of Rieger-Nishimura formulas to the intuitionistic modal logics
Two classes of intermediate propositional logics without disjunction property
On a second order propositional operator in intuitionistic logic
The disjunction property of intermediate propositional logics
Computations in fragments of intuitionistic propositional logic
\(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures
Logics without Craig's interpolation property
Sentential constants in systems near R
Tarski's theorem on intuitionistic logic, for polyhedra
The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s
Interpretations into Heyting algebras
Logics of some Kripke frames connected with Medvedev notion of informational types
On an extension of Gabbay's logic
One-variable logic meets Presburger arithmetic
Projectivity in (bounded) commutative integral residuated lattices
Complexity of finite-variable fragments of propositional temporal and modal logics of computation
Epimorphism surjectivity in varieties of Heyting algebras
Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
On some semi-intuitionistic logics
On the rules of intermediate logics
Computational complexity of the word problem in modal and Heyting algebras with a small number of generators
Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
All intermediate logics with extra axioms in one variable except eight are not strongly -complete.
Classical propositional logic and decidability of variables in intuitionistic propositional logic
Formulas in modal logic S4
scientific article; zbMATH DE number 3871347 (Why is no real title available?)
Representable idempotent commutative residuated lattices
The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions
A Survey of Propositional Realizability Logic
Complexity of intuitionistic propositional logic and its fragments
AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
On the period of sequences (Aⁿ(p)) in intuitionistic propositional calculus
Innocuous substitutions
Implicational complexity in intuitionistic arithmetic
scientific article; zbMATH DE number 408804 (Why is no real title available?)
The undecidability of the disjunction property of propositional logics and other related problems
Extendible formulas in two variables in intuitionistic logic
Irreflexive modality as a new logical connective in the Dummett logic
Finitely generated free Heyting algebras
An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic
Finitely generated free Heyting algebras: the well-founded initial segment
A note on entropy of logic
DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
An intuitionistic formula hierarchy based on high‐school identities
A note on decidability of variables in intuitionistic propositional logic
The free process algebra generated by \(\delta \), \(\epsilon\) and \(\tau \)
scientific article; zbMATH DE number 3240380 (Why is no real title available?)
Certain Method for Generating a Series of Logics
Injective and Projective Heyting Algebras
V. Yankov’s Contributions to Propositional Logic
Bisimulation and propositional intuitionistic logic
Decidable variables for constructive logics
Lattices of Intermediate Theories via Ruitenburg's Theorem
Strictly n-finite varieties of Heyting algebras
Terms that define nuclei on residuated lattices: a case study of BL-algebras
Polytime embedding of intuitionistic modal logics into their one-variable fragments
Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
Erratum to: ``A ground-theoretical modal definition of essence
Corrigendum to: ``On translating between logics
Irreflexive modality, the Dummett logic, and continual chains
Completeness of interpolation algorithms in classical and non-classical logics
Individual concepts as propositional variables in \(ML^{\nu +1}\)

This page was built for publication: On formulas of one variable in intuitionistic propositional calculus

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