| Publication | Date of Publication | Type |
|---|
Monotone Predicate Transformers as Up-Closed Multirelations
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
Three dual ontologies
Journal of Philosophical Logic | 2003-04-27 | Paper |
Finite-cofinite program relations
Logic Journal of the IGPL | 1999-12-13 | Paper |
| scientific article; zbMATH DE number 1303443 (Why is no real title available?) | 1999-10-11 | Paper |
Unification of four versions of program semantics
Formal Aspects of Computing | 1998-11-11 | Paper |
| scientific article; zbMATH DE number 1086626 (Why is no real title available?) | 1997-11-13 | Paper |
Computing verisimilitude
Notre Dame Journal of Formal Logic | 1996-01-29 | Paper |
Predicate transformers as power operations
Formal Aspects of Computing | 1995-09-25 | Paper |
Peirce algebras
Formal Aspects of Computing | 1995-05-01 | Paper |
Towards automating duality
Computers & Mathematics with Applications | 1995-02-02 | Paper |
CATEGORICAL ASPECTS OF POWER ALGEBRAS
Quaestiones Mathematicae | 1994-08-25 | Paper |
A note on fuzzy power relations
Fuzzy Sets and Systems | 1994-08-22 | Paper |
A comment on relevant truth table logic
Journal of Applied Non-Classical Logics | 1994-01-21 | Paper |
| scientific article; zbMATH DE number 475182 (Why is no real title available?) | 1994-01-13 | Paper |
Verisimilitude via Vietoris
Journal Of Logic And Computation | 1993-11-17 | Paper |
Power structures
Algebra Universalis | 1993-07-18 | Paper |
Subsumption computed algebraically
Computers & Mathematics with Applications | 1993-04-19 | Paper |
Boolean Circulants, Groups, and Relation Algebras
The American Mathematical Monthly | 1992-09-27 | Paper |
R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs
Studia Logica | 1989-01-01 | Paper |
Verisimilitude: views and reviews
History and Philosophy of Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4083584 (Why is no real title available?) | 1988-01-01 | Paper |
A Verisimilar Ordering of Theories Phrased in a Propositional Language
The British Journal for the Philosophy of Science | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4132129 (Why is no real title available?) | 1987-01-01 | Paper |
POWER STRUCTURES AND LOGIC
Quaestiones Mathematicae | 1986-01-01 | Paper |
SECOND-ORDER BOOLEAN ALGEBRAS
Quaestiones Mathematicae | 1984-01-01 | Paper |
Boolean modules
Journal of Algebra | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3875237 (Why is no real title available?) | 1981-01-01 | Paper |
Two axiom systems for relation algebras
Notre Dame Journal of Formal Logic | 1979-01-01 | Paper |
The algebra of relatives
Notre Dame Journal of Formal Logic | 1979-01-01 | Paper |
On Birkhoff's Postulates for a Relation Algebra
Journal of the London Mathematical Society | 1977-01-01 | Paper |
