E-LIB Suche - Ergebnisse für: Maddux, Roger D.

1

Monk algebras and Ramsey theory:

Kramer, Richard L. ; Maddux, Roger D.
Journal of Logical and Algebraic Methods in Programming. 126 (2022) - p. 100759 , 2022

Link: https://doi.org/10.1016/..

2

Tarskian Classical Relevant Logic:

, In: Outstanding Contributions to Logic; Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs,

Maddux, Roger D. - p. 67-161 , 2021

Link: https://doi.org/10.1007/..

3

Canonical Relativized Cylindric Set Algebras and Weak Assoc..:

, In: Hajnal Andréka and István Németi on Unity of Science; Outstanding Contributions to Logic,

Maddux, Roger D. - p. 313-345 , 2021

Link: https://doi.org/10.1007/..

4

Identities Generalizing the Theorems of Pappus and Desargue:

Maddux, Roger D.
Symmetry. 13 (2021) 8 - p. 1382 , 2021

Link: https://doi.org/10.3390/..

5

An error in a proof in Boolean Algebras with Operators, Par..:

Kramer, Richard L. ; Maddux, Roger D.
Algebra universalis. 79 (2018) 2 - p. , 2018

Link: https://doi.org/10.1007/..

6

Finite representations for two small relation algebras:

Alm, Jeremy F. ; Maddux, Roger D.
Algebra universalis. 79 (2018) 4 - p. , 2018

Link: https://doi.org/10.1007/..

7

Subcompletions of representable relation algebras:

Maddux, Roger D.
Algebra universalis. 79 (2018) 2 - p. , 2018

Link: https://doi.org/10.1007/..

8

THERE IS NO FINITE-VARIABLE EQUATIONAL AXIOMATIZATION OF RE..:

ALM, JEREMY F. ; HIRSCH, ROBIN ; MADDUX, ROGER D.
The Review of Symbolic Logic. 9 (2016) 3 - p. 511-521 , 2016

Link: https://doi.org/10.1017/..

9

Arrow's Theorem for incomplete relations:

Maddux, Roger D.
Journal of Logical and Algebraic Methods in Programming. 83 (2014) 2 - p. 235-248 , 2014

Link: https://doi.org/10.1016/..

10

WEAK REPRESENTATIONS OF RELATION ALGEBRAS AND RELATIONAL BA..:

HIRSCH, ROBIN ; HODKINSON, IAN ; MADDUX, ROGER D.
The Journal of Symbolic Logic. 76 (2011) 3 - p. 870-882 , 2011

Link: https://www.jstor.org/st..

11

RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS:

MADDUX, ROGER D.
The Review of Symbolic Logic. 3 (2010) 1 - p. 41-70 , 2010

Link: https://doi.org/10.1017/..

12

RELEVANCE LOGICS AND RELATION ALGEBRAS:

BIMBÓ, KATALIN ; DUNN, J. MICHAEL ; MADDUX, ROGER D.
The Review of Symbolic Logic. 2 (2009) 1 - p. 102-131 , 2009

Link: https://doi.org/10.1017/..

13

Relation algebras

Studies in logic and the foundations of mathematics ; v. 150

Maddux, Roger D. - 1st ed . , 2006

Link: https://www.sciencedirec..

14

Relation algebras

Studies in logic and the foundations of mathematics ; 150

Maddux, Roger D. - 1. ed. . , 2006

Exemplar: Zentrale:E02 a mat 026 e/184

15

Nonrepresentable relation algebras generated by functional ..:

Maddux, Roger D.
algebra universalis. 52 (2005) 2-3 - p. 155-165 , 2005

Link: https://doi.org/10.1007/..