Lawvere's elementary theories and polyadic and cylindric algebras
Aubert Daigenault (1970)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Words, free algebras, and coequalizers”
Lawvere's elementary theories and polyadic and cylindric algebras
The internal and external aspect of logic and set theory in elementary topoi
Gerhard Osius (1974)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
A complete first-order logic with infinitary predicates
H. Keisler (1963)
Fundamenta Mathematicae
Similarity:
Polyadic algebras over nonclassical logics
Don Pigozzi, Antonino Salibra (1993)
Banach Center Publications
Similarity:
The polyadic algebras that arise from the algebraization of the first-order extensions of a SIC are characterized and a representation theorem is proved. Standard implicational calculi (SIC)'s were considered by H. Rasiowa [19] and include classical and intuitionistic logic and their various weakenings and fragments, the many-valued logics of Post and Łukasiewicz, modal logics that admit the rule of necessitation, BCK logic, etc.
Attributes, sets, partial sets and identity
P. C. Gilmore (1968)
Compositio Mathematica
Similarity:
Essentially equational categories
J. Adámek, H. Herrlich, J. Rosický (1988)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Interpreting set theory in the endomorphism semi-group of a free algebra or in a category
Saharon Shelah (1976)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Axiomatic foundations for Nonstandard Analysis
Karel Hrbacek (1978)
Fundamenta Mathematicae
Similarity:
A first-order logic for multi-algebras.
Cīrulis, Jānis (2004)
Novi Sad Journal of Mathematics
Similarity: