Third Workshop

Program (as of 05/03/16)

May 16–17th, 2016
University of Alberta, Department of Philosophy, Edmonton, Canada

Monday (May 16th)

• 8:30-8:55 morning coffee
• 8:55-9:00 Introduction
• 9:00-10:00 Dunn, J. M.: The third place is the charm: Ternary accessibility relations
• 10:00-11:00 Mares, E.: Revisiting entailment
• 11:00-11:30 coffee break
• 11:30-12:30 Ferenz, N.: Ambiguity and the semantics of relevant logic
• 12:30-13:30 lunch
• 13:30-14:30 Fine, K.: A ternary relation semantics for counterfactuals
• 14:30-15:30 Avron, A.: The basic relevance criterion
• 15:30-15:45 coffee break
• 15:45-16:45 Tedder, A.: Quantifier elimination for some non-classical mathematical theories
• 16:45-17:45 Bimbo, K.: Multisets and a ternary relation

Tuesday (May 17th)

• 8:30-9:00 morning coffee
• 9:00-10:00 Hartonas, T.: Generalized image operators and relational semantics for non-distributive propositional logics
• 10:00-10:50 Badia, G.: Model definability in relevant logic
• 10:50-11:10 coffee break
• 11:10-12:10 Brady, R.: Some concerns regarding ternary-relation semantics and truth-theoretic semantics in general
• 12:30-13:30 lunch
• 13:50-14:50 Urquhart, A.: The geometry of relevant implication
• 14:50-15:10 coffee break
• 15:10-16:10 Brown, B.: Crossing streams: Preservationist alternatives to muti-valued and relational semantics
• 16:10- Concluding discussion