皆様
リーズ大学のJohn Stell先生の講演のお知らせです。 ふるってご参加ください。
問合せ先： 石原 哉 北陸先端科学技術大学院大学 情報科学研究科 e-mail: [email protected]
-------------------------------------------------- * JAIST Logic Seminar Series *
* This seminar is held as a part of the EU FP7 Marie Curie Actions IRSES project CORCON (http://corcon.net/).
Date: Friday 27 June, 2014, 15:30-17:00
Place: JAIST, 7F seminar room (I-75) (Access: http://www.jaist.ac.jp/english/location/access.html)
Speaker: Dr. John Stell (University of Leeds, UK)
Title: Bi-Intuitionistic Modal Logic and Hypergraphs
Abstract: I will discuss motivations from spatial reasoning and mathematical morphology (as used in image processing) for the notion of a relation on a graph. I will show how the algebra of these relations is weaker than that of relations on a set. This leads to a generalization of relation algebras in which the Boolean algebra is replaced by a symmetric Heyting algebra. These relations can be used as the accessibility relations for a modal logic in which propositions are interpreted as subgraphs of a graph or more generally a hypergraph.
--------------------------------------------------