Departamento
Lógica y Filosofía Teórica
Achegas congreso (2) Publicacións nas que participase algún/ha investigador/a
2013
-
Hypersequent and labelled calculi for intermediate logics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
The Nest Structure of Our Belief System and Its Consequences
WITTGENSTEIN-STUDIEN: INTERNATIONALES JAHRBUCH FUR WITTGENSTEIN-FORSCHUNG, BAND 4