Wendy MacCaull

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!

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 Computing and Informatics	2018-11-29	Paper
Automated recognition of stutter invariance of LTL formulas	2014-07-17	Paper
Informational representability for contexts in Dedekind categories Bulletin of Informatics and Cybernetics	2013-08-28	Paper
Distributive contact lattices: topological representations The Journal of Logic and Algebraic Programming	2008-06-19	Paper
Topological Representation of Contact Lattices Relations and Kleene Algebra in Computer Science	2008-04-24	Paper
Relational Methods in Computer Science Lecture Notes in Computer Science	2007-05-02	Paper
A Logic of Type Relations and its Applications to Relational Databases Journal Of Logic And Computation	2007-04-13	Paper
Relational and Kleene-Algebraic Methods in Computer Science Lecture Notes in Computer Science	2005-12-23	Paper
Correspondence results for relational proof systems with application to the Lambek calculus Studia Logica	2002-12-15	Paper
scientific article; zbMATH DE number 1735903 (Why is no real title available?)	2002-09-05	Paper
A Kripke semantics for the logic of Gelfand quantales Studia Logica	2002-02-05	Paper
scientific article; zbMATH DE number 1501628 (Why is no real title available?)	2001-01-11	Paper
scientific article; zbMATH DE number 1303445 (Why is no real title available?)	1999-11-23	Paper
Relational semantics and a relational proof system for full Lambek calculus Journal of Symbolic Logic	1999-11-23	Paper
Relational proof system for linear and other substructural logics Logic Journal of the IGPL	1998-06-14	Paper
scientific article; zbMATH DE number 1089458 (Why is no real title available?)	1998-05-12	Paper
Tableau method for residuated logic Fuzzy Sets and Systems	1997-09-29	Paper
A note on Kripke semantics for residuated logic Fuzzy Sets and Systems	1997-08-18	Paper
scientific article; zbMATH DE number 912320 (Why is no real title available?)	1996-08-01	Paper

Research outcomes over time

This page was built for person: Wendy MacCaull