Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions
type: Item
instance of: scholarly article
title: Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions
zbMATH Open document ID: 0955.03031
author: Stefano Aguzzoli
author: Agata Ciabattoni
author: Antonio Di Nola
publication date: 2000-06-21T00:00:00Z
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 06D35
zbMATH DE Number: 1463105
zbMATH Keywords: cut-free sequent calculus
zbMATH Keywords: Boolean decomposition
zbMATH Keywords: MV-algebras
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.1093/logcom/10.2.213
OpenAlex ID: W1974160553
DOI: 10.1093/LOGCOM/10.2.213
published in: Journal Of Logic And Computation
Recommended article: Minimal sequent calculi for Lukasiewicz's finitely-valued logics
Recommended article: An axiomatization of the finite-valued Łukasiewicz calculus
Recommended article: Finiteness in infinite-valued Łukasiewicz logic
Recommended article: Q4489073
Recommended article: Linear Logic and Lukasiewicz ℵ0- Valued Logic: A Logico-Algebraic Study
description: scientific article; zbMATH DE number 1463105