Strong standard completeness theorems for S5-modal Łukasiewicz logics
From MaRDI portal
Publication:6658082
DOI10.1016/J.APAL.2024.103529MaRDI QIDQ6658082FDOQ6658082
Patricio Díaz Varela, Diego Castaño, Gabriel Savoy
Publication date: 8 January 2025
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Many-valued logic (03B50) MV-algebras (06D35) Ordered structures (06F99) Logical aspects of ?ukasiewicz and Post algebras (03G20)
Cites Work
- Title not available (Why is that?)
- Metamathematics of fuzzy logic
- Algebraic foundations of many-valued reasoning
- An algebraic approach to non-classical logics
- Extending maps to profinite completions in finitely generated quasivarieties
- Algebraizable logics
- Amalgamations of Lattice Ordered Groups
- On the structure of hoops
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
- Monadic MV-algebras. I: A study of subvarieties
- Completeness for monadic fuzzy logics via functional algebras
- Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
- Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions
- Strong standard completeness for continuous t-norms
- On transitive modal many-valued logics
- An algebraic study of S5-modal Gödel logic
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
This page was built for publication: Strong standard completeness theorems for S5-modal Łukasiewicz logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6658082)
