Chris Brink

Publication Activity (10 Years)

Years Active: 1979-2006
Publications (10 Years): 0

Publications

Ingrid Rewitzky, Chris Brink
Monotone Predicate Transformers as Up-Closed Multirelations. RelMiCS (2006)
Chris Brink, Ingrid Rewitzky
Three Dual Ontologies. J. Philos. Log. 31 (6) (2002)
Chris Brink, Ingrid Rewitzky
Finite-Cofinite Program Relations. Log. J. IGPL 7 (2) (1999)
Ingrid Rewitzky, Chris Brink
Unification of Four Versions of Program Semantics. Formal Aspects Comput. 10 (1) (1998)
Chris Brink, Ingrid Rewitzky
Predicate Relators. RelMiCS (1997)
Katarina Britz, Chris Brink
Computing Verisimilitude. Notre Dame J. Formal Log. 36 (1) (1995)
Ingrid Rewitzky, Chris Brink
Predicate Transformers as Power Operations. Formal Aspects Comput. 7 (2) (1995)
Chris Brink, Katarina Britz, Renate A. Schmidt
Peirce Algebras. Formal Aspects Comput. 6 (3) (1994)
Chris Brink, Katarina Britz
Peirce Algebras. AMAST (1993)
Chris Brink
A comment on relevant truth table logic. J. Appl. Non Class. Logics 2 (2) (1992)
Chris Brink, J. J. C. Vermeulen, J. P. G. Pretorius
Verisimilitude via Vietoris. J. Log. Comput. 2 (6) (1992)
Chris Brink, Ingrid Rewitzky, Renate A. Schmidt
Autodescriptivity: Beware! Comput. J. 34 (4) (1991)
Chris Brink
R⌝-algebras and R⌝-model structures as power constructs. Stud Logica 48 (1) (1989)
Chris Brink
The algebra of relatives. Notre Dame J. Formal Log. 20 (4) (1979)
Chris Brink
Two axiom systems for relation algebras. Notre Dame J. Formal Log. 20 (4) (1979)