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 …

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

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 …

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 …

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 …

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 …

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

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 …

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

‎ 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, …