Logic KM: A Biography
From MaRDI portal
Publication:5255795
DOI10.1007/978-94-017-8860-1_7zbMath1350.03015OpenAlexW2219113943MaRDI QIDQ5255795
Publication date: 19 June 2015
Published in: Leo Esakia on Duality in Modal and Intuitionistic Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-94-017-8860-1_7
intuitionistic logicprovability logicKM-algebralattice of normal extensions of a propositional calculuslogic KM
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (9)
The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond ⋮ Multiple Conclusion Rules in Logics with the Disjunction Property ⋮ Interconnection of the lattices of extensions of four logics ⋮ On principal congruences in distributive lattices with a commutative monoidal operation and an implication ⋮ Admissible rules for six intuitionistic modal logics ⋮ On products of posets and coproducts of KM-algebras ⋮ On prelinear Hilbert algebras with successor ⋮ A Generalization of Maksimova’s Criterion for the Disjunction Property ⋮ Constructive Modalities with Provability Smack
This page was built for publication: Logic KM: A Biography
