Axiomatic extensions of IMT3 logic

DOI10.1007/S11225-005-4647-7MaRDI QIDQ817693zbMATHOpenAlexFDO

Authors Joan Gispert i Brasó, Antoni Torrens

Publication date 17 March 2006

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-005-4647-7

zbMATH Keywords

many-valued logicsresiduated latticesIMTL-algebrasinvolutive monoidal t-norm logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Logical aspects of lattices and related structures (03G10)

Recommendations

• On some subvarieties of \(IMTn\)-algebras and the partitions of the \(m\)-cube.
• A schematic extension of IMTL-logic algebras
• Simplification and independence of axioms of fuzzy logic systems IMTL and NM
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops

Cites work

• scientific article; zbMATH DE number 2068681 (Why is no real title available?)
• Algebraizable logics
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops

Cited in

(4)

• On some subvarieties of \(IMTn\)-algebras and the partitions of the \(m\)-cube.
• Group representation for even and odd involutive commutative residuated chains
• Expanding the Realm of Systematic Proof Theory
• A schematic extension of IMTL-logic algebras

This page was built for publication: Axiomatic extensions of IMT3 logic

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