Results 91 to 100 of about 290 (150)
Structure theory for equational classes generated by quasi-primal algebras
, 1974 Quasi-primal algebras (which include finite simple polyadic and cylindric algebras) were introduced by A. S. Pixley. In this paper equational classes generated hy quasi-primal algebras are investigated with respect to the following concepts: the ...
Robert W. Quackenbush
core +1 more source
Note on cylindric algebras and polyadic algebras. [PDF]
Michigan Mathematical Journal, 1955 openaire +3 more sources
PREDICATES, TERMS, OPERATIONS, AND EQUALITY IN POLYADIC BOOLEAN ALGEBRAS. [PDF]
Proc Natl Acad Sci U S A, 1956 Halmos PR.
europepmc +1 more source
Cylindric and Polyadic Algebras [PDF]
Proceedings of the American Mathematical Society, 1957 openaire +1 more source
Lambda Abstraction algebras: representation theorems
, 1995 Lambda abstraction algebras (LAAs) are designed to algebraize the untyped lambda calculus in the same way cylindric and polyadic algebras algebraize the first-order predicate logic.
SALIBRA A. +4 more
core +1 more source
A logic road from special to general relativity [PDF]
, 2012 We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we ``derive'' an axiom system of general relativity in two natural steps.
Andréka, Hajnal +3 more
core
On the structure of Lindenbaum algebras: an approach using algebraic logic
, 1976 The following problem of algebraic logic is investigated: to determine those Boolean algebras which admit the structure of a nondiscrete cylindric algebra.
Charles C. Pinter
core +1 more source
Cylindric algebras and algebras of substitutions [PDF]
Transactions of the American Mathematical Society, 1973 openaire +2 more sources
Weak products of universal algebras
, 1993 Weak direct products of arbitrary universal algebras are introduced. The usual notion for groups and rings is a special case. Some universal algebraic properties are proved and applications to cylindric and polyadic algebras are ...
Sain, Ildikó
core