2 papers
math.LO2024
Strong completeness for the predicate logic of the continuous t-norms
Diego Castaño, José Patricio Díaz Varela, Gabriel Savoy
The axiomatic system introduced by Hájek axiomatizes first-order logic based on BL-chains. In this study, we extend this system with the axiom $(\forall x ϕ)^2 \leftrightarrow \for…
math.LO2024
Strong standard completeness theorems for S5-modal Lukasiewicz logics
Diego Castaño, José Patricio Díaz Varela, Gabriel Savoy
We study the S5-modal expansion of the logic based on the Lukasiewicz t-norm. We exhibit a finitary propositional calculus and show that it is finitely strongly complete with respe…