Results 21 to 30 of about 202 (44)
The Algebra of Logic Tradition [PDF]
, 2015 The algebra of logic, as an explicit algebraic system showing the underlying mathematical structure of logic, was introduced by George Boole (1815-1864) in his book The Mathematical Analysis of Logic (1847).
Burris, Stanley, Legris, Javier
core
Canonical varieties with no canonical axiomatisation
, 2005 Accepted ...
Hodkinson, I, Venema, Y
core +5 more sources
Axiomatizability of reducts of algebras of relations
, 2000 Submitted ...
Hodkinson, I, Mikulas, S
core +1 more source
Algebrai logika; relativitáselmélet logikai struktúrájának vizsgálata = Algebraic logic; investigating the logical structure of relativity theory [PDF]
, 2008 Gödel, Einstein és Tarski hagyományait kívánjuk folytatni, elmélyítve a Gödel-Einstein együttműködés eredményeit is, és folytatva Tarski tudományegyesítési programmját.
Andai, Attila +13 more
core
PREDICATES, TERMS, OPERATIONS, AND EQUALITY IN POLYADIC BOOLEAN ALGEBRAS. [PDF]
Proc Natl Acad Sci U S A, 1956 Halmos PR.
europepmc +1 more source
Some of the next articles are maybe not open access.
Relation algebras from cylindric and polyadic algebras
Logic Journal of IGPL, 1997This interesting paper is a survey of results on the connections between cylindric algebras, polyadic algebras, and relation algebras. Of central concern is the standard construction which, although it is applicable to any cylindric algebra of dimension 3 or more, is guaranteed to produce a relation algebra only when the dimension is 4 or more. Many of
István Németi, András Simon
openaire +4 more sources
Quasi-Polyadic Algebras and Their Dual Position
Notre Dame Journal of Formal Logic, 2022Miklós Ferenczi
exaly