Computing the validity degree in Lukasiewicz logic

Authors: Zuzana Haniková
Publication year: 2019
Publication type: Abstrakt
Periodical: TACL 2019. Abstracts
Bibliographic citation: HANIKOVÁ, Zuzana. Computing the validity degree in Lukasiewicz logic. In: GHILARDI, S., JANSANA, R., GEHRKE, M., eds. TACL 2019. Abstracts. Nice: Université Côte d’Azur, 2019, S. 102-103. Dostupné z: https://math.unice.fr/tacl/assets/2019/abstracts.pdf
ID: 507705

Abstract

Lukasiewicz logic ( L) is an important and familiar example of a many-valued logic; a vast amount of knowledge has been accumulated on its algebraic semantics, provided by the class of MValgebras. Semantic investigations allowed a fairly good understanding of the computational aspects of the logic, with a range of results