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

Juan M. Cornejo, Hanamantagouda P. Sankappanavar

Type: Preprint

Publication Date: 2019-08-07

Citations: 0

Locations

arXiv (Cornell University) - View

Similar Works

Action	Title	Year	Authors
+ PDF Chat	A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions	2022	Juan M. Cornejo Hanamantagouda P. Sankappanavar
+	A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions	2019	Juan M. Cornejo Hanamantagouda P. Sankappanavar
+ PDF Chat	De Morgan Semi-Heyting and Heyting Algebras	2020	Hanamantagouda P. Sankappanavar
+	JI-distributive, dually quasi-De Morgan semi-Heyting and Heyting algebras	2015	Hanamantagouda P. Sankappanavar
+	JI-distributive dually quasi-De Morgan linear semi-Heyting algebras	2015	Hanamantagouda P. Sankappanavar
+	Regular Double $p$-Algebras: A converse to a Katriňák's Theorem, and Applications	2022	Juan M. Cornejo Michael Kinyon Hanamantagouda P. Sankappanavar
+	De Morgan Semi-Heyting and Heyting Algebras	2018	Hanamantagouda P. Sankappanavar
+	De Morgan Semi-Heyting and Heyting Algebras	2018	Hanamantagouda P. Sankappanavar
+	A note on regular De Morgan semi-Heyting algebras	2014	Hanamantagouda P. Sankappanavar
+	A note on regular De Morgan semi-Heyting algebras	2014	Hanamantagouda P. Sankappanavar
+ PDF Chat	Intuitionistic logic, dual intuitionistic logic, and modality	2024	Sandesh Aryal
+	A Categorial Equivalence for semi-Nelson algebras	2020	Juan M. Cornejo Andrés Gallardo Ignacio Viglizzo
+	A Categorial Equivalence for semi-Nelson algebras	2020	Juan M. Cornejo Andrés Gallardo Ignacio Viglizzo
+	Discrete Duality for Tense Symmetric Heyting Algebras	2012	Aldo V. Figallo Gustavo Pelaitay Claudia Sanza
+	Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication	2021	Jim de Groot Tadeusz Litak Dirt Pattinson
+ PDF Chat	Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication	2021	Jim de Groot Tadeusz Litak Dirk Pattinson
+	On Closed Elements in an Almost Semi-Heyting Algebra	2024
+ PDF Chat	A Categorial Equivalence for Semi-Nelson Algebras	2021	Juan M. Cornejo Andrés Gallardo Ignacio Viglizzo
+	Esakia Duals of Regular Heyting Algebras	2023	Gianluca Grilletti Davide Emilio Quadrellaro
+	A note on interpretations of Heyting algebras	1987	Walter Taylor

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (1)

Action	Title	Year	Authors
+	Sur les algèbres de Heyting symétriques	1980	António Monteiro