Amanote Research
Register
Sign In
A Formalization of Logic in Diagonal-Free Cylindric Algebras
doi 10.31274/etd-180810-1565
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Andrew John Ylvisaker
Publisher
Iowa State University
Related search
Terms in Cylindric Algebras
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Connections Between Relation Algebras and Cylindric Algebras
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Sheaf-Theoretic Duality Theory for Cylindric Algebras
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Galois Theory for Cylindric Algebras and Its Applications
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Technical Systems in Logic: Questions of Formalization and Automatic Verification
Logical Investigations
Formalization of the Pedagogical Model by the Language of Predicate Logic
Algebraic Logic. IV. Equality in Polyadic Algebras
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Centralizers in Free Associative Algebras
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Orthogonal Similarity Transformation of a Symmetric Matrix Into a Diagonal-Plus-Semiseparable One With Free Choice of the Diagonal
Numerische Mathematik
Computational Mathematics
Applied Mathematics
