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
A Verisimilar Ordering of Theories Phrased in a Propositional Language	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3033737	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

This page was built for person: Chris Brink