scientific article; zbMATH DE number 3300568
From MaRDI portal
Publication:5582306
zbMath0188.31602MaRDI QIDQ5582306
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Algorithms for recognizing restricted interpolation over the modal logic S4, V. Yankov’s Contributions to Propositional Logic, Jankov Formulas and Axiomatization Techniques for Intermediate Logics, Yankov Characteristic Formulas (An Algebraic Account), Layers over minimal logic, On superintuitionistic logics as fragments of proof logic extensions, EPSILON THEOREMS IN INTERMEDIATE LOGICS, Epimorphisms in varieties of residuated structures, On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview, Interpolation properties of superintuitionistic logics, EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES, Craig's interpolation property in pretabular logics, Restricted interpolation property in superintuitionistic logics, Projective Beth property in extensions of Grzegorczyk logic, Strong computability of slices over the logic GL, Syntax and semantics of superintuitionistic logics, The disjunction property of intermediate propositional logics, Profiniteness and representability of spectra of Heyting algebras, A semantic hierarchy for intuitionistic logic, Slices and levels of extensions of the minimal logic, The structure of slices over minimal logic, Modal companions of intermediate propositional logics, Free equivalential algebras, The tabularity problem over the minimal logic, Codimension and pseudometric in co-Heyting algebras, A study of intermediate propositional logics on the third slice, The simple substitution property of the intermediate propositional logics on finite slices, Pretabular superintuitionistic logic, A lattice of normal modal logics, The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\), Equational axioms for classes of Heyting algebras, Hereditarily finitely axiomatizable extensions of logic S4, Finite-level modal logics, Maksimova, Relevance and the Study of Lattices of Non-classical Logics, Lattice NExtS4 from the Embedding Theorem Viewpoint, Properties of superintuitionistic propositional calculi, A note on entropy of logic, Some results on the intermediate logics, A study of intermediate predicate logics, Intuitionistic logic and implicit definability, Restricted interpolation over modal logic S4, Decidability of the admissibility problem in layer-finite logics, Finite approximability of forest superintuitionistic logics
