Completeness of calculii for axiomatically defined classes of algebras

Publisher Website

1 December 1972

journal article
research article
Published by Springer Nature in Algebra universalis

Vol. 2 (1) , 20-32
https://doi.org/10.1007/bf02945004

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

Contributions to the Theory of Models. I
Indagationes Mathematicae, 1954
The completeness of the first-order functional calculus
The Journal of Symbolic Logic, 1949
Fragments of the propositional calculus
The Journal of Symbolic Logic, 1949
The decision problem for some classes of sentences without quantifiers
The Journal of Symbolic Logic, 1943
On the Structure of Abstract Algebras
Mathematical Proceedings of the Cambridge Philosophical Society, 1935