Axiomatization of semigroup consequences
- 1 June 1989
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 29 (2) , 111-123
- https://doi.org/10.1007/bf01620620
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A calculus for the common rules of ? and ?Studia Logica, 1989
- Theory of Logical CalculiPublished by Springer Nature ,1988
- Consequence Relations of 2-element AlgebrasPublished by Springer Nature ,1985
- On regular identitiesAlgebra universalis, 1983
- 2-Element matricesStudia Logica, 1981
- Equivalential logics (II)Studia Logica, 1981
- Bases for equational theories of semigroupsJournal of Algebra, 1969
- Joins and Direct Products of Equational ClassesCanadian Mathematical Bulletin, 1969
- Remarks on sentential logicsIndagationes Mathematicae, 1958
- O pewnym fragmencie implikacyjnego rachunku zdańStudia Logica, 1955