Axiomatic extensions of IMT3 logic

DOI10.1007/S11225-005-4647-7zbMATH Open1097.03017OpenAlexW2055729154MaRDI QIDQ817693FDOQ817693

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

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

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)

Cites Work

• 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
• Algebraizable logics
• Title not available (Why is that?)

Cited In (4)

• A schematic extension of IMTL-logic algebras
• 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

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)