Strong standard completeness theorems for S5-modal Łukasiewicz logics

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)

zbMATH Keywords

standard completenessMV-algebrasmonadic logicŁukasiewicz logic

Mathematics Subject Classification ID

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)