Near-equational and equational systems of logic for partial functions. I

DOI10.2307/2274743zbMath0691.03016MaRDI QIDQ3032234

No author found.

Publication date: 1989

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274743

zbMATH Keywords

equational extension; extensions of equational logic; logic of partial functions; near-equational extension

Mathematics Subject Classification ID

08B05: Equational logic, Mal'tsev conditions

03C05: Equational classes, universal algebra in model theory

03B20: Subsystems of classical logic (including intuitionistic logic)

Related Items

Algebra of constructions II: an algebraic approach to Martin-Löf type theory and the calculus of constructions, Unsolid and fluid strong varieties of partial algebras, Algebraization of quantifier logics, an introductory overview, Strong regular varieties of partial algebras, Algebraic theory of quasivarieties of heterogeneous partial algebras, A functorial semantics for multi-algebras and partial algebras, with applications to syntax.

Cites Work

• A completeness theorem for weak equational logic
• Algebra of constructions. I. The word problem for partial algebras
• Gültigkeitsbegriffe für Gleichungen in partiellen Algebren
• Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
• Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
• A system of logic for partial functions under existence-dependent kleene equality
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item