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
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
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