A new logic DHMSH is shown to be complete with respect to dually hemimorphic semi-Heyting algebras, and systematic axiomatizations are given for its extensions, including new proofs for Moisil's and 3-valued Lukasiewicz logics.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
A new logic DHMSH is shown to be complete with respect to dually hemimorphic semi-Heyting algebras, and systematic axiomatizations are given for its extensions, including new proofs for Moisil's and 3-valued Lukasiewicz logics.