scientific article; zbMATH DE number 3300568

Cited in

(47)

Decidability of the admissibility problem in layer-finite logics
Finite approximability of forest superintuitionistic logics
On superintuitionistic logics as fragments of proof logic extensions
Interpolation properties of superintuitionistic logics
The disjunction property of intermediate propositional logics
Modal companions of intermediate propositional logics
A study of intermediate propositional logics on the third slice
The simple substitution property of the intermediate propositional logics on finite slices
A lattice of normal modal logics
Equational axioms for classes of Heyting algebras
Hereditarily finitely axiomatizable extensions of logic S4
Finite-level modal logics
Intuitionistic logic and implicit definability
Strong computability of slices over the logic GL
A semantic hierarchy for intuitionistic logic
Slices and levels of extensions of the minimal logic
The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
Properties of superintuitionistic propositional calculi
A study of intermediate predicate logics
Algorithms for recognizing restricted interpolation over the modal logic S4
Profiniteness and representability of spectra of Heyting algebras
Pretabular superintuitionistic logic
Restricted interpolation over modal logic S4
Layers over minimal logic
Epimorphisms in varieties of residuated structures
Projective Beth property in extensions of Grzegorczyk logic
On the rules of intermediate logics
Some results on the intermediate logics
Restricted interpolation property in superintuitionistic logics
A note on entropy of logic
EPSILON THEOREMS IN INTERMEDIATE LOGICS
The structure of slices over minimal logic
The tabularity problem over the minimal logic
Maksimova, relevance and the study of lattices of non-classical logics
Lattice NExtS4 from the embedding theorem viewpoint
Codimension and pseudometric in co-Heyting algebras
V. Yankov’s Contributions to Propositional Logic
Jankov Formulas and Axiomatization Techniques for Intermediate Logics
Yankov Characteristic Formulas (An Algebraic Account)
On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
Craig's interpolation property in pretabular logics
Pretabularity and Craig's interpolation problem over the minimal logic
Vetoing: social, logical and mathematical aspects
A Gödel-Dugundji-style theorem for the minimal structural logic
Syntax and semantics of superintuitionistic logics
Free equivalential algebras

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 Q5582306)