Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions

DOI10.1093/logcom/10.2.213zbMath0955.03031OpenAlexW1974160553MaRDI QIDQ4487257

Antonio Di Nola, Agata Ciabattoni, Stefano Aguzzoli

Publication date: 21 June 2000

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/10.2.213

zbMATH Keywords

MV-algebrascut-free sequent calculusBoolean decomposition

Mathematics Subject Classification ID

MV-algebras (06D35) Many-valued logic (03B50)

Related Items (1)

Classic-Like Analytic Tableaux for Finite-Valued Logics

This page was built for publication: Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions