Compatibly involutive residuated lattices and the Nelson identity
From MaRDI portal
Publication:2317520
DOI10.1007/s00500-018-3588-9zbMath1418.03129OpenAlexW2898664970WikidataQ128977078 ScholiaQ128977078MaRDI QIDQ2317520
Matthew Spinks, Thiago Nascimento, Umberto Rivieccio
Publication date: 12 August 2019
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00500-018-3588-9
Related Items (5)
Representation of De Morgan and (semi-)Kleene lattices ⋮ A duality for two-sorted lattices ⋮ Prelinearity in (quasi-)Nelson logic ⋮ Quasi-Nelson algebras ⋮ Quasi-Nelson algebras and fragments
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fregean logics
- Priestley duality for paraconsistent Nelson's logic
- Nelson algebras through Heyting ones. I
- On the structure of varieties with equationally definable principal congruences. II
- Ideals in universal algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- Constructive logic with strong negation is a substructural logic. I
- Constructive negations and paraconsistency
- Constructive logic with strong negation is a substructural logic. II
- Some investigations of varieties of \({\mathcal N}\)-lattices
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- Varieties with equationally definable principal congruences
- An algebraic approach to non-classical logics
- The number of subdirectly irreducible algebras in a variety
- Intuitionistic logic with strong negation
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- Implicational classes of De Morgan lattices
- On the structure of varieties with equationally definable principal congruences. IV
- On the structure of varieties with equationally definable principal congruences. III
- Varieties of commutative residuated integral pomonoids and their residuation subreducts
- The structure of distributive double p-algebras. Regularity and congruences
- A survey of abstract algebraic logic
- Adding involution to residuated structures
- Semisimplicity, EDPC and discriminator varieties of residuated lattices
- \(\bigstar\)-autonomous lattices
- Algebraic semantics for Nelson's logic \(\mathcal{S}\)
- On the representation of \(\mathbf{N4}\)-lattices
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
- Semi-Nelson algebras
- The subvariety of commutative residuated lattices represented by twist-products
- A regular variety of type \(<2,2,1,1,0,0>\)
- On closed elements in closure algebras
- Strong negation in intuitionistic style sequent systems for residuated lattices
- Non-involutive twist-structures
- FREGEAN VARIETIES
- Constructive Logic with Strong Negation as a Substructural Logic
- Constructible falsity and inexact predicates
- Semi-de Morgan algebras
- Algebraizable logics
- Algebraic Semantics for Paraconsistent Nelson's Logic
- REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- Dualities for modal N4-lattices
- Conserving involution in residuated structures
- Inconsistency Tolerance
- Caracterisation des algèbres de Nelson par des egalités, I
- A semantical study of constructible falsity
- Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
- Lattices With Involution
- The Theory of Representation for Boolean Algebras
- Constructible falsity
- Protoalgebraic logics
- Solving open questions and other challenge problems using proof sketches
This page was built for publication: Compatibly involutive residuated lattices and the Nelson identity
