Fragments of quasi-Nelson: residuation

DOI10.1080/11663081.2023.2203312OpenAlexW4368318258MaRDI QIDQ6111142

Umberto Rivieccio

Publication date: 6 July 2023

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2023.2203312

zbMATH Keywords

twist-structuressubreductspocrimsNelson's constructive logic with strong negationnon-involutive

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nelson algebras through Heyting ones. I
• On the structure of varieties with equationally definable principal congruences. II
• Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Constructive logic with strong negation is a substructural logic. I
• Representation and duality for Hilbert algebras
• The Craig interpolation theorem for propositional logics with strong negation
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• On the structure of varieties with equationally definable principal congruences. III
• Varieties of commutative residuated integral pomonoids and their residuation subreducts
• On the representation of \(\mathbf{N4}\)-lattices
• On the structure of hoops
• Representation of De Morgan and (semi-)Kleene lattices
• Twist structures and Nelson conuclei
• Algebraic semantics for quasi-Nelson logic
• Quasi-Nelson algebras
• The subvariety of commutative residuated lattices represented by twist-products
• Implicative twist-structures
• Basic hoops: an algebraic study of continuous t-norms
• Pseudo-complements in semi-lattices
• Quasi-Nelson; or, non-involutive Nelson algebras
• On the free implicative semilattice extension of a Hilbert algebra
• Algebraizable logics
• Principal Congruences of Pseudocomplemented Semilattices and Congruence Extension Property
• Hoops and Fuzzy Logic
• Quasi-Nelson algebras and fragments
• Fragments of Quasi-Nelson: The Algebraizable Core
• Negation and Implication in Quasi-Nelson Logic
• A Representation Theory for Prime and Implicative Semilattices
• Constructible falsity
• Varieties of K-lattices
• Varieties of bounded K-lattices
• Prelinearity in (quasi-)Nelson logic

This page was built for publication: Fragments of quasi-Nelson: residuation