A new hierarchy of infinitary logics in abstract algebraic logic

DOI10.1007/s11225-016-9699-3zbMath1417.03305OpenAlexW2561046726MaRDI QIDQ2363502

Tomáš Lávička, Carles Noguera

Publication date: 19 July 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-016-9699-3

zbMATH Keywords

abstract algebraic logicconsequence relationscompleteness propertiesinfinitary logics

Mathematics Subject Classification ID

Abstract algebraic logic (03G27)

Related Items

Implicational (semilinear) logics. III: Completeness properties, Extension properties and subdirect representation in abstract algebraic logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
• The proof by cases property and its variants in structural consequence relations
• Implicational (semilinear) logics. I: A new hierarchy
• Update to ``A survey of abstract algebraic logic
• Theory of logical calculi. Basic theory of consequence operations
• An algebraic approach to non-classical logics
• A survey of abstract algebraic logic
• Order algebraizable logics
• Equivalence of consequence operations
• Weakly implicative (fuzzy) logics. I: Basic properties
• A propositional calculus with denumerable matrix
• Weakly algebraizable logics
• Protoalgebraic logics