Superabelian logics

DOI10.1017/S1755020326101129MaRDI QIDQ7256839zbMATH OpenFDO

Authors Petr Cintula, Filip Jankovec, Carles Noguera

Publication date 3 June 2026

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S1755020326101129

zbMATH Keywords

abelian lattice-ordered groupsabelian logicalgebraic logiccompleteness theoremsinfinitary extensionsŁukasiewicz logic

Mathematics Subject Classification ID

Logical aspects of ?ukasiewicz and Post algebras (03G20) Other algebras related to logic (03G25) Abstract algebraic logic (03G27)

Cites work

• A survey of abstract algebraic logic
• Abstract algebraic logic. An introductory textbook
• Algebraizable logics
• Axiomatization of the infinite-valued predicate calculus
• Die Axiome der Quantität und die Lehre vom Maß.
• Fuzzy logics based on \([0,1)\)-continuous uninorms
• scientific article; zbMATH DE number 4135919 (Why is no real title available?)
• scientific article; zbMATH DE number 4143975 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 1226187 (Why is no real title available?)
• scientific article; zbMATH DE number 795167 (Why is no real title available?)
• scientific article; zbMATH DE number 3432249 (Why is no real title available?)
• scientific article; zbMATH DE number 6276271 (Why is no real title available?)
• scientific article; zbMATH DE number 6276275 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• Investigations into the sentential calculus
• Logic and Implication
• Ordered groups and topology
• Residuated lattices. An algebraic glimpse at substructural logics
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• Super-Łukasiewicz propositional logics
• The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
• These degrees go to eleven: fuzzy logics and gradable predicates
• Universal algebra. Fundamentals and selected topics
• Varieties generated by unital abelian \(\ell\)-groups
• Weakly implicative (fuzzy) logics. I: Basic properties

This page was built for publication: Superabelian logics

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