An algebraic semantics for possibilistic finite-valued Łukasiewicz logic

Authors: M. Busaniche, P. Cordero, M. Marcos, R.O. Rodriguez.

In this paper we present an axiomatization for the many-valued modal logic semantically defined by Łn-valued possibilistic frames. We provide an algebraic semantics for this logic that generalizes pseudomonadic Boolean algebras (the case when n=2). Consequently, we obtain that the famous modal axioms K D45 are no longer appropriate to model possibilistic systems when the systems are also many-valued. In the first part of the paper, we work in the more general setting of arbitrary commutative bounded residuated lattices, paving the way for future research for other non-classical possibilistic modal systems.

More information:

2023-12-21T12:23:34-03:00 21/diciembre/2023|Papers|
Go to Top