Birkhoff's and Mal'cev's theorems for implicational tonoid logics

DOI10.1007/s11225-023-10035-8OpenAlexW4318620249WikidataQ123004578 ScholiaQ123004578MaRDI QIDQ6161952

Eunsuk Yang

Publication date: 28 June 2023

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

Full work available at URL: https://doi.org/10.1007/s11225-023-10035-8

zbMATH Keywords

varietyquasi-varietysubdirect representationimplicational tonoid logicsimplicational tonoid matrices

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
• Implicational (semilinear) logics. I: A new hierarchy
• Order algebraizable logics
• Implicational tonoid logics: algebraic and relational semantics
• Equivalence of consequence operations
• Weakly implicative (fuzzy) logics. I: Basic properties
• Correspondences between gentzen and hilbert systems
• Protoalgebraic logics

This page was built for publication: Birkhoff's and Mal'cev's theorems for implicational tonoid logics