Axiomatization of semigroup consequences

DOI10.1007/BF01620620zbMath0688.03017MaRDI QIDQ1263575

Wolfgang Rautenberg

Publication date: 1989

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

consequence relationsmatrix semanticssemigroup connective

Mathematics Subject Classification ID

General logic (03B99)

Related Items (5)

Axiomatization of the De Morgan type rules ⋮ Singulary extensional connectives: A closer look ⋮ False though partly true -- an experiment in logic ⋮ Strongly finitely based equational theories ⋮ Axiomatizing logics closely related to varieties

Cites Work

• Unnamed Item
• Unnamed Item
• On a fragment of the implicative propositional calculus
• On regular identities
• Equivalential logics. II
• 2-element matrices
• Theory of logical calculi. Basic theory of consequence operations
• Bases for equational theories of semi-groups
• Joins and Direct Products of Equational Classes

This page was built for publication: Axiomatization of semigroup consequences