Compatibly involutive residuated lattices and the Nelson identity

DOI10.1007/S00500-018-3588-9MaRDI QIDQ2317520zbMATH OpenOpenAlexWikidataFDO

Authors Matthew Spinks, Umberto Rivieccio, Thiago Nascimento

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

zbMATH Keywords

Nelson algebraNelson logiccompatibly involutive residuated latticescongruence orderableFregean

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Other algebras related to logic (03G25)

Recommendations

• Quasi-Nelson; or, non-involutive Nelson algebras
• Fragments of quasi-Nelson: two negations
• Quasi-Nelson algebras
• Residuated lattices as an algebraic semantics for paraconsistent Nelson's logic
• Characterisations of Nelson algebras

Cites work

• scientific article; zbMATH DE number 3139759 (Why is no real title available?)
• scientific article; zbMATH DE number 3875353 (Why is no real title available?)
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 3663202 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 67040 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 1226180 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 6287598 (Why is no real title available?)
• scientific article; zbMATH DE number 6287631 (Why is no real title available?)
• scientific article; zbMATH DE number 5263396 (Why is no real title available?)
• scientific article; zbMATH DE number 5268066 (Why is no real title available?)
• scientific article; zbMATH DE number 3316068 (Why is no real title available?)
• scientific article; zbMATH DE number 3412605 (Why is no real title available?)
• scientific article; zbMATH DE number 3414376 (Why is no real title available?)
• A regular variety of type \(<2,2,1,1,0,0>\)
• A semantical study of constructible falsity
• A survey of abstract algebraic logic
• Adding involution to residuated structures
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Algebraic semantics for Nelson's logic \(\mathcal{S}\)
• Algebraizable logics
• An algebraic approach to non-classical logics
• Caracterisation des algèbres de Nelson par des egalités, I
• Characterisations of Nelson algebras
• Conserving involution in residuated structures
• Constructible falsity
• Constructible falsity and inexact predicates
• Constructive logic with strong negation as a substructural logic
• Constructive logic with strong negation is a substructural logic. I
• Constructive logic with strong negation is a substructural logic. II
• Constructive negations and paraconsistency
• Dualities for modal N4-lattices
• Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
• FREGEAN VARIETIES
• Fregean logics
• Ideals in universal algebras
• Implicational classes of De Morgan lattices
• Inconsistency Tolerance
• Intuitionistic logic with strong negation
• Lattices With Involution
• Logics without the contraction rule and residuated lattices
• Nelson algebras through Heyting ones. I
• Non-involutive twist-structures
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• On closed elements in closure algebras
• On the representation of \(\mathbf{N4}\)-lattices
• On the structure of varieties with equationally definable principal congruences. II
• On the structure of varieties with equationally definable principal congruences. III
• On the structure of varieties with equationally definable principal congruences. IV
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• Priestley duality for paraconsistent Nelson's logic
• Protoalgebraic logics
• REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS
• Residuated lattices. An algebraic glimpse at substructural logics
• Semi-Nelson algebras
• Semi-de Morgan algebras
• Semisimplicity, EDPC and discriminator varieties of residuated lattices
• Solving open questions and other challenge problems using proof sketches
• Some investigations of varieties of \({\mathcal N}\)-lattices
• Strong negation in intuitionistic style sequent systems for residuated lattices
• The Theory of Representation for Boolean Algebras
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• The number of subdirectly irreducible algebras in a variety
• The structure of distributive double p-algebras. Regularity and congruences
• The subvariety of commutative residuated lattices represented by twist-products
• Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
• Varieties of commutative residuated integral pomonoids and their residuation subreducts
• Varieties with equationally definable principal congruences
• -autonomous lattices

Cited in

(9)

• Quasi-Nelson algebras and fragments
• Quasi-Nelson; or, non-involutive Nelson algebras
• The logic Ł^•
• Prelinearity in (quasi-)Nelson logic
• Representation of De Morgan and (semi-)Kleene lattices
• A duality for two-sorted lattices
• Quasi-Nelson algebras
• Nelson conuclei and nuclei: the twist construction beyond involutivity
• Nelson algebras, residuated lattices and rough sets: A survey

This page was built for publication: Compatibly involutive residuated lattices and the Nelson identity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2317520)