A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions

DOI10.18778/0138-0680.2022.23arXiv1908.02403MaRDI QIDQ6200457

Hanamantagouda P. Sankappanavar, Juan Manuel Cornejo

Publication date: 29 February 2024

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1908.02403

zbMATH Keywords

algebraizable logicsemi-intuitionistic logicimplicative logicequivalent algebraic semantics3-valued Łukasiewicz logicDe Morgan Gödel logicDe Morgan semi-Heyting logicdually hemimorphic semi-Heyting logicdually pseudocomplemented Gödel logicdually pseudocomplemented semi-Heyting logicdually quasi-De Morgan semi-Heyting logicMoisil's logicregular dually quasi-De Morgan Stone semi-Heyting algebras of level 1

Mathematics Subject Classification ID

Lattices of varieties (08B15) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Pseudocomplemented lattices (06D15) Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Subdirect products and subdirect irreducibility (08B26)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on regular De Morgan semi-Heyting algebras
• The variety generated by semi-Heyting chains
• Expansions of semi-Heyting algebras. I: Discriminator varieties
• Semi-intuitionistic logic
• Heyting algebras with dual pseudocomplementation
• An algebraic approach to non-classical logics
• The structure of distributive double p-algebras. Regularity and congruences
• A survey of abstract algebraic logic
• Semi-intuitionistic logic with strong negation
• Varieties of regular pseudocomplemented De Morgan algebras
• On some semi-intuitionistic logics
• Semi-Heyting algebras term-equivalent to Gödel algebras
• Semi-Nelson algebras
• A regular variety of type \(<2,2,1,1,0,0>\)
• Boolean Connexive Logics: Semantics and tableau approach
• Semi-de Morgan algebras
• Heyting Algebras with a Dual Lattice Endomorphism
• Algebraizable logics
• Regular double p-algebras
• JI-distributive, dually quasi-De Morgan semi-Heyting and Heyting algebras
• De Morgan Semi-Heyting and Heyting Algebras
• Semi-Heyting Algebras and Identities of Associative Type
• A note on chain‐based semi‐Heyting algebras