Fragments of quasi-Nelson: residuation
type: Item
instance of: scholarly article
title: Fragments of quasi-Nelson: residuation
DOI: 10.1080/11663081.2023.2203312
author: Umberto Rivieccio
published in: Journal of Applied Non-Classical Logics
publication date: 2023-07-06T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7708150
zbMATH Keywords: Nelson's constructive logic with strong negation
zbMATH Keywords: non-involutive
zbMATH Keywords: twist-structures
zbMATH Keywords: pocrims
zbMATH Keywords: subreducts
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.1080/11663081.2023.2203312
OpenAlex ID: W4368318258
cites work: Basic hoops: an algebraic study of continuous t-norms
cites work: Varieties of bounded K-lattices
cites work: Varieties of K-lattices
cites work: A Representation Theory for Prime and Implicative Semilattices
cites work: Q4273433
cites work: On the structure of hoops
cites work: On the structure of varieties with equationally definable principal congruences. II
cites work: Algebraizable logics
cites work: On the structure of varieties with equationally definable principal congruences. III
cites work: Varieties of commutative residuated integral pomonoids and their residuation subreducts
cites work: Q3934450
cites work: The subvariety of commutative residuated lattices represented by twist-products
cites work: Twist structures and Nelson conuclei
cites work: Q3558608
cites work: Representation and duality for Hilbert algebras
cites work: On the free implicative semilattice extension of a Hilbert algebra
cites work: Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic
cites work: The class of Kleene algebras satisfying an interpolation property and Nelson algebras
cites work: Hoops and Fuzzy Logic
cites work: Q3222191
cites work: Pseudo-complements in semi-lattices
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: The Craig interpolation theorem for propositional logics with strong negation
cites work: Algebraic semantics for quasi-Nelson logic
cites work: Negation and Implication in Quasi-Nelson Logic
cites work: Constructible falsity
cites work: On the representation of \(\mathbf{N4}\)-lattices
cites work: Implicative twist-structures
cites work: Q5869701
cites work: Representation of De Morgan and (semi-)Kleene lattices
cites work: Fragments of Quasi-Nelson: The Algebraizable Core
cites work: Prelinearity in (quasi-)Nelson logic
cites work: Quasi-Nelson algebras and fragments
cites work: Quasi-Nelson algebras
cites work: Quasi-Nelson; or, non-involutive Nelson algebras
cites work: Principal Congruences of Pseudocomplemented Semilattices and Congruence Extension Property
cites work: Nelson algebras through Heyting ones. I
cites work: Q4025007
cites work: Constructive logic with strong negation is a substructural logic. I
cites work: Notes on \(\eta\)-lattices and constructive logic with strong negation
description: scientific article; zbMATH DE number 7708150