Loading…
CLMPS 2015 has ended

Sign up or log in to bookmark your favorites and sync them to your phone or calendar.

Contributed Papers [clear filter]
Tuesday, August 4
 

17:00

A1.4 Mathematical Logic + C3.6 Philosophy of the Life Sciences
4 August 05:00PM– 07:00PM

SPEAKERS AND TITLES

Combining relational and algebraic semantics
Puncochár Vít, Department of Logic, Institute of Philosophy, Czech Academy of Sciences, Prague, CZECH REPUBLIC

The modal logic of symmetric forcing
Alexander Carstensen Block, Department of Mathematics, University of Hamburg, Hamburg, GERMANY

The proof-theoretic approach to evolutionary biology - can we work out a logic of evolution?
Andreea Esanu, Theoretical Philosophy and Logic, University of Bucharest, Bucharest, ROMANIA

Quantified intuitionistic and modal logic over metrizable spaces
Philip Kremer, Philosophy, University of Toronto Scarborough, Toronto, CANADA

Chairs
PV

Puncochár Vít

Institute of Philosophy, Czech Academy of Sciences

Speakers
AC

Alexander Carstensen Block

University of Hamburg
AE

Andreea Esanu

University of Bucharest
PK

Philip Kremer

University of Toronto Scarborough



Tuesday August 4, 2015 17:00 - 19:00
Main Building, Room 17
 
Thursday, August 6
 

11:00

A1.1 Mathematical Logic
6 August 11:00-13:00

SPEAKERS AND TITLES

On Implicational Connectives of Quantum Logics for Non-commutative
Substructural Logics formulated Gentzen-style Natural Deduction
Takeshi Ueno, Food Science and Human Wellnes, Rakuno-Gakuen University, Ebetsu, JAPAN 

A theory for systems of propositions referring to each other
Denis Saveliev, Institute for Information Transmission Problems, Russian Academy of Sciences, Moscow, RUSSIAN FEDERATION

Logic and philosophy of trial and error mathematics: Dialectical and quasi-dialectical systems
Luca San Mauro, Faculty of Humanities, Scuola Normale Superiore, Pisa, ITALY
Jacopo Amidei, Faculty of Humanities, Scuola Normale Superiore, Pisa, ITALY
Duccio Pianigiani, Mathematics, University of Siena, Siena, ITALY
Andrea Sorbi, Mathematics, University of Siena, Siena, ITALY 

Some general results on the translations between logics and theories
Luiz Carlos Pereira, Philosophy, PUC-Rio/UERJ, Rio de Janeiro, BRAZIL
Edward Hermann Haeusler, Computer Science, PUC-Rio, Rio de Janeiro, BRAZIL 

Chairs
Speakers
avatar for Luca San Mauro

Luca San Mauro

Scuola Normale Superiore
DS

Denis Saveliev

Russian Academy of Sciences
TU

Takeshi Ueno

Rakuno-Gakuen University



Thursday August 6, 2015 11:00 - 13:00
Main Building, Room 16

14:30

A1.2 Mathematical Logic + C1.12 Philosophy of the Formal Sciences
6 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

On Gödel numbering
Abraham Lim Ken Zhi, Institute of Philosophy of Mind and Cognition,
National Yang-Ming University, Taipei, TAIWAN

On the problem of preserving finite axiomatizability of a finite matrix
under term-equivalence
Aleksandra Samonek, Logic, Jagiellonian University, Krakow, POLAND

Do infinitely often equal trees add Cohen reals?
Yurii Khomskii, Kurt Gödel Research Center (KGRC), University of Vienna,
Vienna, AUSTRIA
Giorgio Laguzzi, University of Freiburg, Freiburg, GERMANY

Justifying Deductive Inference
Mathieu Beirlaen, Institute for Philosophy II, Ruhr University Bochum, Waregem, BELGIUM

Chairs
avatar for Yurii Khomskii

Yurii Khomskii

Postdoc, Hamburg University

Speakers
avatar for Mathieu Beirlaen

Mathieu Beirlaen

Ruhr University Bochum
avatar for Aleksandra Samonek

Aleksandra Samonek

Jagiellonian University
AL

Abraham Lim Ken Zhi

National Yang-Ming University



Thursday August 6, 2015 14:30 - 16:30
Main Building, Room 16
 
Friday, August 7
 

11:00

A1.3 Mathematical Logic
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