scientific article; zbMATH DE number 3639589
From MaRDI portal
Publication:4198474
zbMath0412.03009MaRDI QIDQ4198474
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Pseudocomplemented lattices (06D15) General logic (03B99) Intermediate logics (03B55)
Related Items
On rules, A criterion for admissibility of rules in the modal system S4 and intuitionistic logic, Jankov Formulas and Axiomatization Techniques for Intermediate Logics, An Application of the Yankov Characteristic Formulas, Program-substitution and admissibility of rules in algorithmic logic, Structural completeness and superintuitionistic inquisitive logics, Singly generated quasivarieties and residuated structures, Admissible rules in the implication-negation fragment of intuitionistic logic, Hereditarily structurally complete intermediate logics: Citkin's theorem via duality, Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus, Admissible rules for pretable modal logics, A note on admissible rules and the disjunction property in intermediate logics, Profiniteness and representability of spectra of Heyting algebras, The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\), VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS, Structural completeness in many-valued logics with rational constants, Some investigations of varieties of \({\mathcal N}\)-lattices
