research
∙
10/23/2020
An algebraic study of the first order version of some implicational fragments of the three-valued Lukasiewicz logic
MV-algebras are an algebraic semantics for Lukasiewicz logic and MV-alge...
share
research
∙
12/21/2019
