Chris Brink

From MaRDI portal
Person:909650

Available identifiers

zbMath Open brink.chrisWikidataQ4819906 ScholiaQ4819906MaRDI QIDQ909650

List of research outcomes





PublicationDate of PublicationType
Monotone Predicate Transformers as Up-Closed Multirelations2008-04-24Paper
Three dual ontologies2003-04-27Paper
Finite-cofinite program relations1999-12-13Paper
https://portal.mardi4nfdi.de/entity/Q42500531999-10-11Paper
Unification of four versions of program semantics1998-11-11Paper
https://portal.mardi4nfdi.de/entity/Q43628741997-11-13Paper
Computing verisimilitude1996-01-29Paper
Predicate transformers as power operations1995-09-25Paper
Peirce algebras1995-05-01Paper
Towards automating duality1995-02-02Paper
CATEGORICAL ASPECTS OF POWER ALGEBRAS1994-08-25Paper
A note on fuzzy power relations1994-08-22Paper
A comment on relevant truth table logic1994-01-21Paper
https://portal.mardi4nfdi.de/entity/Q42734191994-01-13Paper
Verisimilitude via Vietoris1993-11-17Paper
Power structures1993-07-18Paper
Subsumption computed algebraically1993-04-19Paper
Boolean Circulants, Groups, and Relation Algebras1992-09-27Paper
R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs1989-01-01Paper
Verisimilitude: views and reviews1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38137931988-01-01Paper
A Verisimilar Ordering of Theories Phrased in a Propositional Language1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30337371987-01-01Paper
POWER STRUCTURES AND LOGIC1986-01-01Paper
SECOND-ORDER BOOLEAN ALGEBRAS1984-01-01Paper
Boolean modules1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33425361981-01-01Paper
Two axiom systems for relation algebras1979-01-01Paper
The algebra of relatives1979-01-01Paper
On Birkhoff's Postulates for a Relation Algebra1977-01-01Paper

Research outcomes over time

This page was built for person: Chris Brink