scientific article; zbMATH DE number 3230245
From MaRDI portal
Publication:5518356
zbMath0143.01102MaRDI QIDQ5518356
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (21)
V. Yankov’s Contributions to Propositional Logic ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Yankov Characteristic Formulas (An Algebraic Account) ⋮ Remark on a finite axiomatization of finite intermediate propositional logics ⋮ Constructing a continuum of predicate extensions of each intermediate propositional logic ⋮ Intermediate logics with the same disjunctionless fragment as intuitionistic logic ⋮ Intuitionistic logic and Muchnik degrees ⋮ Gluing residuated lattices ⋮ HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS ⋮ Not every splitting Heyting or interior algebra is finitely presentable ⋮ On fragments of Medvedev's logic ⋮ A semantic hierarchy for intuitionistic logic ⋮ Constructing denumerable matrices strongly adequate for pre-finite logics ⋮ On Jaskowski-type semantics for the intuitionistic propositional logic ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ Equational axioms for classes of Heyting algebras ⋮ Finite equational bases for finite algebras in a congruence-distributive equational class ⋮ Beth's tableau-method ⋮ Explicating logical independence ⋮ Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra ⋮ An application of Rieger-Nishimura formulas to the intuitionistic modal logics
This page was built for publication:
