An algebraic study of the logic \textbf{S5'(BL)}
From MaRDI portal
Publication:2105717
Recommendations
- An algebraic study of S5-modal Gödel logic
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
- On the logics with propositional quantifiers extending \textsf{S5}\(\Pi\)
- scientific article; zbMATH DE number 3845545
- scientific article; zbMATH DE number 6276270
- scientific article; zbMATH DE number 4043815
- Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
- scientific article; zbMATH DE number 1285767
- Algebraic study of Sette's maximal paraconsistent logic
- Blow Up and Blur Constructions in Algebraic Logic
Cites work
- A topological duality for monadic MV-algebras
- Algebraizable logics
- Fuzzy Logics with Noncommutative Conjuctions
- scientific article; zbMATH DE number 3142898 (Why is no real title available?)
- scientific article; zbMATH DE number 5177806 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3530947 (Why is no real title available?)
- scientific article; zbMATH DE number 1508247 (Why is no real title available?)
- scientific article; zbMATH DE number 7158384 (Why is no real title available?)
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
- Interpreting lattice-valued set theory in fuzzy set theory
- Metamathematics of fuzzy logic
- Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
- Monadic bounded commutative residuated -monoids
- Monadic bounded hoops
- Monadic Distributive Lattices
- Monadic GMV-algebras
- Monadic NM-algebras
- Monadic pseudo BCI-algebras and corresponding logics
- Monadic pseudo-equality algebras
- On categorical equivalences of equality algebras and monadic equality algebras
- On monadic MV-algebras
- On the lattice of deductive systems of a BL-algebra
- Some results in BL-algebras
- Topological spaces of monadic MV-algebras
- Varieties of BL-algebras. I: General properties.
Cited in
(4)- Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic
- Some results on derivations of MV-algebras
- An algebraic approach to the study of monadic substructural predicate logics over \(\mathbf{FL_{ew}}\)
- An algebraic proof of completeness for monadic fuzzy predicate logic \(\mathbf{MMTL} \forall\)
This page was built for publication: An algebraic study of the logic \textbf{S5'(BL)}
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2105717)
