Department
Lógica y Filosofía Teórica
Conference papers (2) Publications in which a researcher has participated
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