CLMPS 2015 has ended

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


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

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


Ryota Akiyoshi

Kyoto University

Frode Bjørdal

University of Oslo

Michiro Kondo

School of Information Environment

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

Attendees (0)