Chris Brink

Available identifiers

zbMath Open brink.chrisWikidataQ4819906 ScholiaQ4819906MaRDI QIDQ909650

List of research outcomes

Publication	Date of Publication	Type
Monotone Predicate Transformers as Up-Closed Multirelations	2008-04-24	Paper
Three dual ontologies	2003-04-27	Paper
Finite-cofinite program relations	1999-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4250053	1999-10-11	Paper
Unification of four versions of program semantics	1998-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4362874	1997-11-13	Paper
Computing verisimilitude	1996-01-29	Paper
Predicate transformers as power operations	1995-09-25	Paper
Peirce algebras	1995-05-01	Paper
Towards automating duality	1995-02-02	Paper
CATEGORICAL ASPECTS OF POWER ALGEBRAS	1994-08-25	Paper
A note on fuzzy power relations	1994-08-22	Paper
A comment on relevant truth table logic	1994-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4273419	1994-01-13	Paper
Verisimilitude via Vietoris	1993-11-17	Paper
Power structures	1993-07-18	Paper
Subsumption computed algebraically	1993-04-19	Paper
Boolean Circulants, Groups, and Relation Algebras	1992-09-27	Paper
R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs	1989-01-01	Paper
Verisimilitude: views and reviews	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3813793	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3033737	1987-01-01	Paper
A Verisimilar Ordering of Theories Phrased in a Propositional Language	1987-01-01	Paper
POWER STRUCTURES AND LOGIC	1986-01-01	Paper
SECOND-ORDER BOOLEAN ALGEBRAS	1984-01-01	Paper
Boolean modules	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3342536	1981-01-01	Paper
Two axiom systems for relation algebras	1979-01-01	Paper
The algebra of relatives	1979-01-01	Paper
On Birkhoff's Postulates for a Relation Algebra	1977-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Chris Brink