Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own

View analytic
Friday, August 7 • 11:00 - 13:00
A1.3 Mathematical Logic

Sign up or log in to save this to your schedule and see who's attending!

7 August 11:00AM– 01:00PM

SPEAKERS AND TITLES

Extending the set of variables in propositional logics
Carles Noguera, Decision Making Theory, Institute of Information Theory and Automation, Prague, CZECH REPUBLIC
Petr Cintula, Theoretical Computer Science, Institute of Computer Science, Prague, CZECH REPUBLIC

Residuated lattices with Galois connections as monadic operators
Michiro Kondo, Information Environment , School of Information Environment , Inzai, JAPAN

The Librationist Domination of Second Order Arithmetic
Frode Bjørdal, Philosophy, Classics and History of Art and Ideas, University of Oslo, Oslo, NORWAY

A Constructive Justification of Brouwer’s Bar Induction
Ryota Akiyoshi, Faculty of Letters , Kyoto University, Kanagawaken, JAPAN


Chairs
avatar for Carles Noguera

Carles Noguera

Institute of Information Theory and Automation
Interested in (abstract) algebraic logic, many-valued logics and non-classical logics in general

Speakers
RA

Ryota Akiyoshi

Kyoto University
FB

Frode Bjørdal

University of Oslo
MK

Michiro Kondo

School of Information Environment



Friday August 7, 2015 11:00 - 13:00
Main Building, Room 17

Attendees (7)