The following pages link to Logic KM: A Biography (Q5255795):
Displaying 12 items.
- On products of posets and coproducts of KM-algebras (Q521725) (← links)
- On prelinear Hilbert algebras with successor (Q2035276) (← links)
- Interconnection of the lattices of extensions of four logics (Q2399606) (← links)
- On principal congruences in distributive lattices with a commutative monoidal operation and an implication (Q2422313) (← links)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- My Life as a Logician (Q3305314) (← links)
- A Logical Autobiography (Q5027230) (← links)
- A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← links)
- Logical Autobiography 50 (Q5350325) (← links)
- The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond (Q5886460) (← links)