Wendy MacCaull

	2008
21		Fahim T. Imam, Wendy MacCaull: Integrating Healthcare Ontologies: Inconsistency Tolerance and Case Study. Business Process Management Workshops 2008: 373-384
20		Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter: Distributive contact lattices: Topological representations. J. Log. Algebr. Program. 76(1): 18-34 (2008)
	2007
19		Fahim T. Imam, Wendy MacCaull, Margaret Ann Kennedy: Merging Healthcare Ontologies: Inconsistency Tolerance and Implementation Issues. CBMS 2007: 530-535
	2006
18		Wendy MacCaull, Michael Winter, Ivo Düntsch: Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers Springer 2006
17		Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter: Topological Representation of Contact Lattices. RelMiCS 2006: 135-147
16		Wendy MacCaull, Ewa Orlowska: A Logic of Type Relations and its Applications to Relational Databases. J. Log. Comput. 16(6): 789-815 (2006)
	2005
15		Wendy MacCaull, Dimiter Vakarelov: Lattice-Based Paraconsistent Logic. RelMiCS 2005: 173-187
	2003
14		Marsha Chechik, Wendy MacCaull: CTL Model-Checking over Logics with Non-Classical Negations. ISMVL 2003: 293-
13		Wendy MacCaull, Ewa Orlowska: A Calculus of Typed Relations. RelMiCS 2003: 191-201
	2002
12		Wendy MacCaull, Ewa Orlowska: Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus. Studia Logica 71(3): 389-414 (2002)
	2001
11		Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull: Relational methods in computer science - Preface. Inf. Sci. 139(3-4): 165-166 (2001)
10		Gerard Allwein, Wendy MacCaull: A Kripke Semantics for the Logic of Gelfand Quantales. Studia Logica 68(2): 173-228 (2001)
	2000
9		Ivo Düntsch, Wendy MacCaull, Ewa Orlowska: Structures with Many-Valued Information and Their Relational Proof Theory. ISMVL 2000: 293-
8		Wendy MacCaull: A Proof System for Dependencies for Information Relations. Fundam. Inform. 42(1): 1-27 (2000)
	1998
7		Wendy MacCaull: A relational approach to association rules and functional dependencies. RelMiCS 1998: 159-164
6		Wendy MacCaull: Relational Semantics and a Relational Proof System for Full Lambek Calculus. J. Symb. Log. 63(2): 623-637 (1998)
	1997
5		Wendy MacCaull: Semantics for Logics without Contraction Using Ternary Relations. RelMiCS 1997: 157-165
4		Wendy MacCaull: Relational Proof System for Linear and Other Substructural Logics. Logic Journal of the IGPL 5(5): (1997)
	1995
3		Wendy MacCaull: Finite Algebraic Models for Residuated Logic. ISMVL 1995: 206-
	1989
2		Wendy MacCaull: Positive Definite Functions over Regular f-Rings and Representations as Sums of Squares. Ann. Pure Appl. Logic 44(3): 243-257 (1989)
	1988
1		Wendy MacCaull: On the Validity of Hilbert's Nullstellensatz, Artin's Theorem, and Related Results in Grothendieck Toposes. J. Symb. Log. 53(4): 1177-1187 (1988)

Coauthor Index

1	Gerard Allwein	[10]
2	Marsha Chechik	[14]
3	Jules Desharnais	[11]
4	Ivo Düntsch	[9] [17] [18] [20]
5	Marc Frappier	[11]
6	Fahim T. Imam	[19] [21]
7	Ali Jaoua	[11]
8	Margaret Ann Kennedy	[19]
9	Ewa Orlowska	[9] [12] [13] [16]
10	Dimiter Vakarelov	[15] [17] [20]
11	Michael Winter	[17] [18] [20]

Colors in the list of coauthors