scientific article; zbMATH DE number 3230245
From MaRDI portal
Publication:5518356
Cited in
(22)- 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
- Intermediate logics with the same disjunctionless fragment as intuitionistic logic
- On fragments of Medvedev's logic
- Constructing denumerable matrices strongly adequate for pre-finite logics
- On Jaskowski-type semantics for the intuitionistic propositional logic
- Equational axioms for classes of Heyting algebras
- Finite equational bases for finite algebras in a congruence-distributive equational class
- A semantic hierarchy for intuitionistic logic
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- Constructing a continuum of predicate extensions of each intermediate propositional logic
- Explicating logical independence
- Beth's tableau-method
- Intuitionistic logic and Muchnik degrees
- Remark on a finite axiomatization of finite intermediate propositional logics
- Not every splitting Heyting or interior algebra is finitely presentable
- Hereditarily structurally complete positive logics
- V. Yankov’s Contributions to Propositional Logic
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics
- Yankov Characteristic Formulas (An Algebraic Account)
- Gluing residuated lattices
- Tabular and pretabular varieties of MTL-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 Q5518356)
