4 citations · 8 across the 9 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
math.LO2019
Tarski's relevance logic; Version 2
Roger D. Maddux
Tarski's relevance logic is defined and shown to contain many formulas and derived rules of inference. The definition arises from Tarski's work on first-order logic restricted to f…
math.LO2019
Canonical Relativized Cylindric Set Algebras and Weak Associativity
Roger D. Maddux
Canonical relativized cylindric set algebras are used to sharpen the relative representation theorem for weakly associative relation algebras, that every complete atomic weakly ass…
math.LO2019
Relation algebras of Sugihara, Belnap, Meyer, and Church
Richard L. Kramer, Roger D. Maddux
Algebras introduced by, or attributed to, Sugihara, Belnap, Meyer, and Church are representable as algebras of binary relations with set-theoretically defined operations. They are…