Partial algebras—survey of a unifying approach towards a two-valued model theory for partial algebras
- 1 December 1982
- journal article
- Published by Springer Nature in Algebra universalis
- Vol. 15 (1), 306-358
- https://doi.org/10.1007/bf02483730
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Epis need not be denseTheoretical Computer Science, 1982
- Completeness of many-sorted equational logicACM SIGPLAN Notices, 1981
- Identity and existence in intuitionistic logicPublished by Springer Nature ,1979
- Gültigkeitsbegriffe für Gleichungen in partiellen AlgebrenMathematische Zeitschrift, 1978
- Partial morphisms on partial algebrasAlgebra universalis, 1973
- Prädikatenlogik mit partiell definierten FunktionenArchive for Mathematical Logic, 1971
- Gleichungsdefinierbare Klassen partieller AlgebrenMathematische Annalen, 1970
- Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und FunktionenArchive for Mathematical Logic, 1969
- The Word Problem for Abstract AlgebrasJournal of the London Mathematical Society, 1951
- On the Structure of Abstract AlgebrasMathematical Proceedings of the Cambridge Philosophical Society, 1935