Fragments of quasi-Nelson: residuation
From MaRDI portal
Publication:6111142
DOI10.1080/11663081.2023.2203312OpenAlexW4368318258MaRDI QIDQ6111142
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
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