Wendy MacCaull

Available identifiers

Publication	Date of Publication	Type
A reasoning system for satisfiability of diagrammatic specifications	2024-09-06	Paper
On the Satisfiability of Quasi-Classical Description Logics	2018-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q5170011	2014-07-17	Paper
Informational representability for contexts in Dedekind categories	2013-08-28	Paper
Distributive contact lattices: topological representations	2008-06-19	Paper
Topological Representation of Contact Lattices	2008-04-24	Paper
Relational Methods in Computer Science	2007-05-02	Paper
A Logic of Type Relations and its Applications to Relational Databases	2007-04-13	Paper
Relational and Kleene-Algebraic Methods in Computer Science	2005-12-23	Paper
Correspondence results for relational proof systems with application to the Lambek calculus	2002-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q4329264	2002-09-05	Paper
A Kripke semantics for the logic of Gelfand quantales	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4500375	2001-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4250055	1999-11-23	Paper
Relational semantics and a relational proof system for full Lambek calculus	1999-11-23	Paper
Relational proof system for linear and other substructural logics	1998-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q4366155	1998-05-12	Paper
Tableau method for residuated logic	1997-09-29	Paper
A note on Kripke semantics for residuated logic	1997-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4887109	1996-08-01	Paper

This page was built for person: Wendy MacCaull