scientific article
zbMath0768.08003MaRDI QIDQ4028345
Giuseppe Scollo, Vincenzo Manca, Antonino Salibra
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
equational type logicextensions of equational logicequational order-sorted logicHorn clausal logiclogics of partial algebrasreasoning with equations and type assignments
Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Equational logic, Mal'tsev conditions (08B05) Grammars and rewriting systems (68Q42) Partial algebras (08A55) Axiomatic model classes (08C10) Subsystems of classical logic (including intuitionistic logic) (03B20) Foundations, relations to logic and deductive systems (18A15)
Related Items
