[logic-ml] JAIST Logic Seminar Series
Hajime Ishihara
ishihara at jaist.ac.jp
Mon Jun 23 15:52:33 JST 2014
皆様
リーズ大学のJohn Stell先生の講演のお知らせです。
ふるってご参加ください。
問合せ先:
石原 哉
北陸先端科学技術大学院大学 情報科学研究科
e-mail: ishihara at jaist.ac.jp
--------------------------------------------------
* 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.
--------------------------------------------------
More information about the Logic-ml
mailing list