Strong standard completeness theorems for S5-modal Łukasiewicz logics
type: Item
instance of: scholarly article
title: Strong standard completeness theorems for S5-modal Łukasiewicz logics
author: Diego Castaño
author: Patricio Díaz Varela
author: Gabriel Savoy
published in: Annals of Pure and Applied Logic
publication date: 2025-01-08T00:00:00Z
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03G20
Mathematics Subject Classification ID: 06D35
Mathematics Subject Classification ID: 06F99
zbMATH DE Number: 7962817
zbMATH Keywords: monadic logic
zbMATH Keywords: Łukasiewicz logic
zbMATH Keywords: standard completeness
zbMATH Keywords: MV-algebras
MaRDI profile type: MaRDI publication profile
cites work: On the structure of hoops
cites work: Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
cites work: Completeness for monadic fuzzy logics via functional algebras
cites work: An algebraic study of S5-modal Gödel logic
cites work: Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
cites work: Algebraic foundations of many-valued reasoning
cites work: Monadic MV-algebras. I: A study of subvarieties
cites work: Q5884949
cites work: Metamathematics of fuzzy logic
cites work: Extending maps to profinite completions in finitely generated quasivarieties
cites work: Strong standard completeness for continuous t-norms
cites work: Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions
cites work: Amalgamations of Lattice Ordered Groups
cites work: Algebraizable logics
cites work: An algebraic approach to non-classical logics
cites work: On transitive modal many-valued logics
cites work: UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
DOI: 10.1016/J.APAL.2024.103529
description: scientific article; zbMATH DE number 7962817