Decidability of the Logic EŁp

Author: Revaz Grigolia
Co-authors: Antonio Di Nola, Giacomo Lenzi
Keywords: Monadic MV-algebra, Monadic Lukasiewicz logic
Annotation:

The new modal epistemic Łukasiewicz logic EŁp is introduced, obtained from the infinitely valued Łukasiewicz logic Ł by adding one axiom of the logic Łp of perfect MV-algebras, the language of which is enriched by "quasi know-ledge operator" with corresponding axioms.

Lecture files:

Decidability of the Logic EŁp (Grigolia) [en]
Decidability of the Logic EŁp (Abstract) [en]
Decidability of the Logic EŁp (Grigolia)) [en]