scientific article; zbMATH DE number 1775503

MaRDI QIDQ4542633zbMATH OpenFDO

Authors Daniele Mundici, Roberto Cignoli

Publication date 4 August 2002

zbMATH Keywords

basic logicBL

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) MV-algebras (06D35) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Cited in

(4)

• Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem.
• Computing on Lattice-Ordered Abelian Groups
• Standard completeness of Hájek basic logic and decompositions of BL-chains
• Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4542633)