Wendy MacCaull

Available identifiers

zbMath Open maccaull.wendyMaRDI QIDQ227766

List of research outcomes

Publication	Date of Publication	Type
On the Satisfiability of Quasi-Classical Description Logics	2018-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q5170011	2014-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q2844206	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
Relational semantics and a relational proof system for full Lambek calculus	1999-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4250055	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Wendy MacCaull