On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices (Q6161949): Difference between revisions

Latest revision as of 12:30, 1 August 2024

scientific article; zbMATH DE number 7703388

Language	Label	Description	Also known as
English	On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices	scientific article; zbMATH DE number 7703388

Statements

instance of

scholarly article

0 references

title

On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices (English)

0 references

0 references

0 references

0 references

0 references

0 references

28 June 2023

0 references

zbMATH Keywords

residuated lattice

0 references

(weak) monadic algebra

0 references

Kalman functor

0 references

categorical equivalence

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s11225-022-10026-1

0 references

cites work

Cancellative residuated lattices

0 references

Representations of monadic MV-algebras

0 references

Varieties of monadic Heyting algebras. I

0 references

Varieties of monadic Heyting algebras. II: Duality theory

0 references

Varieties of monadic Heyting algebras. III

0 references

The finite embeddability property for residuated lattices, pocrims and BCK-algebras.

0 references

THE STRUCTURE OF RESIDUATED LATTICES

0 references

Caracterisation des algèbres de Nelson par des egalités, I

0 references

Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic

0 references

Compatible operations on residuated lattices

0 references

On some categories of involutive centered residuated lattices

0 references

On a definition of a variety of monadic \(\ell\)-groups.

0 references

QUANTIFIERS ON LATTICES WITH AN ANTITONE INVOLUTION

0 references

The class of Kleene algebras satisfying an interpolation property and Nelson algebras

0 references

Monadic MV-algebras are equivalent to monadic \(\ell \)-groups with strong unit

0 references

Non-Commutative Residuated Lattices

0 references

Q3145296

0 references

On monadic MV-algebras

0 references

Generalized MV-algebras

0 references

Adding involution to residuated structures

0 references

Q4542634

0 references

Q3594327

0 references

Q3259695

0 references

Metamathematics of fuzzy logic

0 references

The existence of states based on Glivenko semihoops

0 references

Q5693612

0 references

Q4660201

0 references

Q3605560

0 references

A non-commutative generalization of MV-algebras

0 references

Monadic GMV-algebras

0 references

Monadic bounded residuated lattices

0 references

N-lattices and constructive logic with strong negation

0 references

Minimal varieties of involutive residuated lattices

0 references

Notes on \(\eta\)-lattices and constructive logic with strong negation

0 references

The finite model property for the implicational fragment of IPC without exchange and contraction

0 references

Monadic NM-algebras

0 references

Monadic bounded hoops

0 references

Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic

0 references

Q6040903

0 references

Monadic pseudo BCI-algebras and corresponding logics

0 references

Identifiers

DOI

10.1007/s11225-022-10026-1

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6161949

@@ Property / cites work @@
+Cancellative residuated lattices
@@ Property / cites work: Cancellative residuated lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Representations of monadic MV-algebras
@@ Property / cites work: Representations of monadic MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of monadic Heyting algebras. I
@@ Property / cites work: Varieties of monadic Heyting algebras. I / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of monadic Heyting algebras. II: Duality theory
+Normal rank
@@ Property / cites work @@
+Varieties of monadic Heyting algebras. III
@@ Property / cites work: Varieties of monadic Heyting algebras. III / rank @@
+Normal rank
@@ Property / cites work @@
+The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
+Normal rank
@@ Property / cites work @@
+THE STRUCTURE OF RESIDUATED LATTICES
@@ Property / cites work: THE STRUCTURE OF RESIDUATED LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+Caracterisation des algèbres de Nelson par des egalités, I
+Normal rank
@@ Property / cites work @@
+Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
+Normal rank
@@ Property / cites work @@
+Compatible operations on residuated lattices
@@ Property / cites work: Compatible operations on residuated lattices / rank @@
+Normal rank
@@ Property / cites work @@
+On some categories of involutive centered residuated lattices
+Normal rank
@@ Property / cites work @@
+On a definition of a variety of monadic \(\ell\)-groups.
+Normal rank
@@ Property / cites work @@
+QUANTIFIERS ON LATTICES WITH AN ANTITONE INVOLUTION
+Normal rank
@@ Property / cites work @@
+The class of Kleene algebras satisfying an interpolation property and Nelson algebras
+Normal rank
@@ Property / cites work @@
+Monadic MV-algebras are equivalent to monadic \(\ell \)-groups with strong unit
+Normal rank
@@ Property / cites work @@
+Non-Commutative Residuated Lattices
@@ Property / cites work: Non-Commutative Residuated Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3145296
@@ Property / cites work: Q3145296 / rank @@
+Normal rank
@@ Property / cites work @@
+On monadic MV-algebras
@@ Property / cites work: On monadic MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized MV-algebras
@@ Property / cites work: Generalized MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Adding involution to residuated structures
@@ Property / cites work: Adding involution to residuated structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4542634
@@ Property / cites work: Q4542634 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3594327
@@ Property / cites work: Q3594327 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3259695
@@ Property / cites work: Q3259695 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+The existence of states based on Glivenko semihoops
+Normal rank
@@ Property / cites work @@
+Q5693612
@@ Property / cites work: Q5693612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4660201
@@ Property / cites work: Q4660201 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3605560
@@ Property / cites work: Q3605560 / rank @@
+Normal rank
@@ Property / cites work @@
+A non-commutative generalization of MV-algebras
@@ Property / cites work: A non-commutative generalization of MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic GMV-algebras
@@ Property / cites work: Monadic GMV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic bounded residuated lattices
@@ Property / cites work: Monadic bounded residuated lattices / rank @@
+Normal rank
@@ Property / cites work @@
+N-lattices and constructive logic with strong negation
+Normal rank
@@ Property / cites work @@
+Minimal varieties of involutive residuated lattices
+Normal rank
@@ Property / cites work @@
+Notes on \(\eta\)-lattices and constructive logic with strong negation
+Normal rank
@@ Property / cites work @@
+The finite model property for the implicational fragment of IPC without exchange and contraction
+Normal rank
@@ Property / cites work @@
+Monadic NM-algebras
@@ Property / cites work: Monadic NM-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic bounded hoops
@@ Property / cites work: Monadic bounded hoops / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic
+Normal rank
@@ Property / cites work @@
+Q6040903
@@ Property / cites work: Q6040903 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic pseudo BCI-algebras and corresponding logics
+Normal rank