Pages that link to "Item:Q3032234"
From MaRDI portal
The following pages link to Near-equational and equational systems of logic for partial functions. I (Q3032234):
Displayed 6 items.
- Unsolid and fluid strong varieties of partial algebras (Q933857) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Strong regular varieties of partial algebras (Q1319050) (← links)
- Algebraic theory of quasivarieties of heterogeneous partial algebras (Q1770604) (← links)
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax. (Q1853456) (← links)
- Algebra of constructions II: an algebraic approach to Martin-Löf type theory and the calculus of constructions (Q4279249) (← links)