C.A.D.I.L.L.A.C.
  • Home
  • C.A.D.I.L.L.A.C. News Blog
  • C.A.D.I.L.L.A.C. Events
    • 2016 Cognitive, linguistic and logical aspects of perspective-taking
    • 2016 Autism Research Network Meeting
    • 2015 Stig Andur Pedersen's retirement symposium
    • 2015 Cognitive, linguistic and logical aspects of perspective-taking 2015
    • 2014 Arthur Prior
    • 2014 Workshop on Planning, Logic and Social Intelligence
    • 2014 Mathematical Reflections
    • Modality and Modalities, M&M 2012- 2014
  • Contact us
  • Links and Resources

Welcome to our News Blog

Keep up-to-date with news, announcements and events in the area and abroad. Feel free to contact us if you have something you'd like us to share.

contact us

CADILLAC talk: Petrucio Viana at RUC

8/9/2015

0 Comments

 
We are please to announce the following CADILLAC talk, which will take place at Roskilde University (RUC) on September 8th, 15.00-16.30 in Room 43.2-02 in Building 43.
Speaker: Petrucio Viana (Institute of Mathematics and Statistics, Federal Fluminense University, Brazil) 

Title: Graph calculus for proving equations and inclusions true on allegories

Abstract: 
Traditionally, formulas are written on a single line. S. Curtis and G. Lowe suggested a more visually appealing alternative for the case of binary relations: using graphs for expressing properties and reasoning about relations in a natural way. We extended their approach to diagrams that are sets of graphs. 

More specifically, in this setting, diagrams corresponds to sentences and transformations on graphs diagrams correspond to inference rules, that can be used to infer a diagram from a set of diagrams taken as hypothesis. The basic intuitions are quite simple, leading to playful and powerful systems. Our system fits very well as a tool for perform inferences on algebras of binary relations, but we developed it to treat positive, negative, and intuitionistic information, ranging from the geometric fragment to the whole of first order logic on binary relations. 

In this talk I summarize these achievements, presenting some on going work on extending the previous systems to deal with the equations and containments of the distributive, division, and power allegories, being tabular or not. Given the connection between classical modal logics and algebras of relations developed by E. Orlowska and her collaborators, our graphical system may be also explored as a tool for perform inferences in modal logic.
0 Comments

    Archives

    May 2016
    February 2016
    January 2016
    September 2015
    June 2015
    April 2015
    February 2015
    December 2014
    May 2014
    April 2014
    March 2014
    December 2013
    October 2013
    September 2013
    May 2013
    April 2013
    August 2012
    June 2012
    May 2012
    April 2012
    February 2012
    October 2011

    Categories

    All
    Adrianne Rini
    Carlo Proietti
    Emmanuel Genot
    Guillaume Aucher
    Hans Van Ditmarsch
    Hanti Lin
    Jens Ulrik Hansen
    Justine Jacot
    Kevin T. Kelly
    Klaus Frovin Jørgensen
    Luciana Benotti
    Martin Mose Bentzen
    Max Cresswell
    Mikkel Gerken
    Olivier Roy
    Patrick Blackburn
    Pelle Guldborg Hansen
    Peter Øhrstrøm
    Rasmus K. Rendsvig
    Sebastian Enqvist
    Thomas Bolander
    Torben Braüner
    Valentin Goranko

    RSS Feed

Powered by Create your own unique website with customizable templates.