scientific article; zbMATH DE number 3532920
From MaRDI portal
Publication:4109648
zbMath0342.02015MaRDI QIDQ4109648
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Logical aspects of Boolean algebras (03G05) General logic (03B99) Intermediate logics (03B55)
Related Items (12)
Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras ⋮ Complexity of admissible rules ⋮ Epimorphisms in varieties of residuated structures ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ Esakia duals of regular Heyting algebras ⋮ Singly generated quasivarieties and residuated structures ⋮ Lattices of Intermediate Theories via Ruitenburg's Theorem ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ A semantic hierarchy for intuitionistic logic ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
This page was built for publication:
