The following pages link to Wendy MacCaull (Q227766):
Displayed 20 items.
- A note on Kripke semantics for residuated logic (Q678998) (← links)
- Distributive contact lattices: topological representations (Q929965) (← links)
- Displaying and deciding substructural logics. I: Logics with contraposition (Q1267081) (← links)
- Tableau method for residuated logic (Q1357163) (← links)
- Correspondence results for relational proof systems with application to the Lambek calculus (Q1850953) (← links)
- (Q2844206) (← links)
- A Logic of Type Relations and its Applications to Relational Databases (Q3431974) (← links)
- Relational semantics and a relational proof system for full Lambek calculus (Q4212926) (← links)
- (Q4250055) (← links)
- (Q4329264) (← links)
- Relational proof system for linear and other substructural logics (Q4357322) (← links)
- (Q4366155) (← links)
- (Q4500375) (← links)
- On the Satisfiability of Quasi-Classical Description Logics (Q4557349) (← links)
- (Q4887109) (← links)
- (Q5170011) (← links)
- Topological Representation of Contact Lattices (Q5459178) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712432) (← links)
- Relational Methods in Computer Science (Q5899316) (← links)
- A Kripke semantics for the logic of Gelfand quantales (Q5954708) (← links)