Semi-nelson algebras
JM Cornejo, I Viglizzo - Order, 2018 - Springer
… algebras and sketching the main constructions linking them, and then present semi-Heyting
algebras and introduce semi-Nelson algebras, … new variety of semi-Nelson algebras. In the …
algebras and introduce semi-Nelson algebras, … new variety of semi-Nelson algebras. In the …
Very True Operators on Pre-semi-Nelson Algebras
S Ghorbani - Studia Logica, 2024 - Springer
… ) semi-Nelson algebras. In this paper, we enrich the language of (pre) semi-Nelson algebras
by adding a very true operator to get algebras named very true (pre) semiNelson algebras …
by adding a very true operator to get algebras named very true (pre) semiNelson algebras …
Dually hemimorphic semi-Nelson algebras
JM Cornejo, HÁJ San MartÍn - Logic Journal of the IGPL, 2020 - academic.oup.com
… semi-Heyting algebras and dually hemimorphic semi-Nelson algebras. In particular, we …
algebras is equivalent to the category of dually hemimorphic centered semi-Nelson algebras. In …
algebras is equivalent to the category of dually hemimorphic centered semi-Nelson algebras. In …
Semi-Heyting algebras and identities of associative type
JM Cornejo, HP Sankappanavar - 2019 - notablesdelaciencia.conicet.gov.ar
… The variety of semi-Nelson algebras is introduced in [17] so that … algebras extends to
semi-Heyting and semi-Nelson algebras. It is also proved that the variety of semi-Nelson algebras is …
semi-Heyting and semi-Nelson algebras. It is also proved that the variety of semi-Nelson algebras is …
A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras
JM Cornejo, HJ San Martín - Logic Journal of the IGPL, 2018 - academic.oup.com
… Cignoli that relates Heyting algebras and centered Nelson algebras, in this paper we
prove that there exists an equivalence between the category of semi-Heyting algebras and …
prove that there exists an equivalence between the category of semi-Heyting algebras and …
A categorial equivalence for semi-Nelson algebras
JM Cornejo, A Gallardo, I Viglizzo - Soft Computing, 2021 - Springer
… semi-Nelson algebras. The objects in this category are pairs consisting of a semi-Heyting
algebra … The filters must contain all the dense elements of the semi-Heyting algebra and satisfy …
algebra … The filters must contain all the dense elements of the semi-Heyting algebra and satisfy …
Semi-intuitionistic logic with strong negation
JM Cornejo, I Viglizzo - Studia Logica, 2018 - Springer
… , defining Nelson, semi-Nelson, Heyting and semi-Heyting algebras. We … of semi Nelson
algebras. The term x →N y = x → (x ∧ y) is quite important for the study of semi-Nelson algebras…
algebras. The term x →N y = x → (x ∧ y) is quite important for the study of semi-Nelson algebras…
Compatibly involutive residuated lattices and the Nelson identity
M Spinks, U Rivieccio, T Nascimento - Soft Computing, 2019 - Springer
… 2 we review the main results about Nelson algebras and (… 4, we turn our attention to Nelson
algebras and Nelson … -theoretic properties of Nelson algebras arise solely from satisfaction of …
algebras and Nelson … -theoretic properties of Nelson algebras arise solely from satisfaction of …
[PDF][PDF] Semi-Intuitionistic Logic with Strong Negation
JMCI Viglizzo - matematica.uns.edu.ar
… The term x →N y = x → (x ∧ y) is quite important for the study of semi-Nelson algebras.
There can be many semi-Nelson implication operations defined over the same underlying …
There can be many semi-Nelson implication operations defined over the same underlying …
Gautama and Almost Gautama Algebras and their associated logics
JM Cornejo, HP Sankappanavar - 2023 - ri.conicet.gov.ar
… of Gautama algebras, called “Almost Gautama algebras (AG, … irreducible Almost Gautama
algebras. As consequences, … of algebras called “Almost Gautama Heyting algebras” (AGH, …
algebras. As consequences, … of algebras called “Almost Gautama Heyting algebras” (AGH, …