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

DOI10.2307/2274743zbMath0691.03016OpenAlexW4238461530MaRDI 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 extensionextensions of equational logiclogic of partial functionsnear-equational extension

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (6)

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 ⋮ Algebraic theory of quasivarieties of heterogeneous partial algebras ⋮ A functorial semantics for multi-algebras and partial algebras, with applications to syntax. ⋮ Strong regular varieties of partial algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Near-equational and equational systems of logic for partial functions. I