A Tableau Calculus for Hajek's Logic BL

DOI10.1093/logcom/13.2.241zbMath1055.03017OpenAlexW2064377529MaRDI QIDQ4461931

Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi

Publication date: 18 May 2004

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

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

zbMATH Keywords

fuzzy logicproof systemstableaux calculus

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Mechanization of proofs and logical operations (03B35)

Related Items (2)

Dual tableau for monoidal triangular norm logic MTL ⋮ Obituary: Franco Montagna (1948--2015)

This page was built for publication: A Tableau Calculus for Hajek's Logic BL