CLMPS 2015

7 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

(PLEASE NOTE: Sanz's presentation moved to first. 5.8.2015)

Hypo: A Deduction-Theoretical Semantics for Heyting’s Propositional Logic (HPL)

Wagner Sanz, Philosophy, UFG/CNPq, Goiania, BRAZIL

Applied ontology, logical pluralism, and the logical constants

Oliver Kutz, Institute for Knowledge and Language Engineering, University of Magdeburg, Magdeburg, GERMANY

Stefano Borgo, Laboratory for Applied Ontology, CNR, Povo (TN), ITALY

Sharpening Logical Independence

Alberto Mura, Dipartimento di Storia e Scienze dell'Uomo, Università degli studi di Sassari, Sassari, ITAL

Designated Operator Theory and Domain of Symbol Expressions

Sergey Pavlov , Epistemology and Logic , Institute of Philosophy , Moscow, RUSSIAN FEDERATION