Axiomatic extensions of IMT3 logic

DOI10.1007/s11225-005-4647-7zbMath1097.03017OpenAlexW2055729154MaRDI QIDQ817693

Joan Gispert i Brasó, Antoni Torrens Torrell

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

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

Related Items

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

Cites Work

• Unnamed Item
• 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