scientific article; zbMATH DE number 3639589

zbMath0412.03009MaRDI QIDQ4198474

A. I. Tsitkin

Publication date: 1978

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

structural completenesssuperintuitionistic logicspseudo-Boolean algebras

Mathematics Subject Classification ID

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 (17)

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

This page was built for publication: