Quasi-Nelson algebras and fragments (Q5022928): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. III
+Normal rank
@@ Property / cites work @@
+Representation and duality for Hilbert algebras
@@ Property / cites work: Representation and duality for Hilbert algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Bounded lattice expansions
@@ Property / cites work: Bounded lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4165427
@@ Property / cites work: Q4165427 / rank @@
+Normal rank
@@ Property / cites work @@
+FREGEAN VARIETIES
@@ Property / cites work: FREGEAN VARIETIES / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for quasi-Nelson logic
@@ Property / cites work: Algebraic semantics for quasi-Nelson logic / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Semantics for Paraconsistent Nelson's Logic
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Implicative twist-structures
@@ Property / cites work: Implicative twist-structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5869701
@@ Property / cites work: Q5869701 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of De Morgan and (semi-)Kleene lattices
+Normal rank
@@ Property / cites work @@
+Information processing and management of uncertainty in knowledge-based systems. 18th international conference, IPMU 2020, Lisbon, Portugal, June 15--19, 2020. Proceedings. Part I
+Normal rank
@@ Property / cites work @@
+Quasi-Nelson algebras
@@ Property / cites work: Quasi-Nelson algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-Nelson; or, non-involutive Nelson algebras
@@ Property / cites work: Quasi-Nelson; or, non-involutive Nelson algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-de Morgan algebras
@@ Property / cites work: Semi-de Morgan algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4025007
@@ Property / cites work: Q4025007 / rank @@
+Normal rank
@@ Property / cites work @@
+Compatibly involutive residuated lattices and the Nelson identity
+Normal rank
@@ Property / cites work @@
+Constructive logic with strong negation is a substructural logic. I
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129521000049
+Normal rank
@@ Property / OpenAlex ID @@
+W3160119527
@@ Property / OpenAlex ID: W3160119527 / rank @@
+Normal rank