Gerard Allwein

From MaRDI portal
(Redirected from Person:227765)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Distributed relation algebra2022-08-26Paper
Distributed modal logic
Outstanding Contributions to Logic
2020-08-07Paper
Distributed Relation Logic
Logic and Logical Philosophy
2018-09-20Paper
Algebraic information theory for binary channels2013-10-10Paper
Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL2013-09-26Paper
Partially-ordered modalities2012-08-05Paper
Qualitative decision theory via channel theory2012-01-05Paper
Algebraic information theory for binary channels
Theoretical Computer Science
2010-04-22Paper
Asynchronous Exceptions as an Effect
Lecture Notes in Computer Science
2008-08-28Paper
Diagrammatic Representation and Inference
Lecture Notes in Computer Science
2005-12-27Paper
Logics for classes of Boolean monoids
Journal of Logic, Language and Information
2004-08-16Paper
scientific article; zbMATH DE number 2086746 (Why is no real title available?)2004-08-11Paper
scientific article; zbMATH DE number 1787158 (Why is no real title available?)2002-11-18Paper
A Kripke semantics for the logic of Gelfand quantales
Studia Logica
2002-02-05Paper
Kripke models for linear logic
Journal of Symbolic Logic
1993-10-24Paper


Research outcomes over time


This page was built for person: Gerard Allwein