Gerard Allwein

From MaRDI portal


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 algebra
 
2022-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 channels
 
2013-10-10Paper
Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL
 
2013-09-26Paper
Partially-ordered modalities
 
2012-08-05Paper
Qualitative decision theory via channel theory
 
2012-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