Biltzar ekarpenak (2) Ikertzaileren baten partaidetza izan duten argitalpenak

2013

  1. Hypersequent and labelled calculi for intermediate logics

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. The Nest Structure of Our Belief System and Its Consequences

    WITTGENSTEIN-STUDIEN: INTERNATIONALES JAHRBUCH FUR WITTGENSTEIN-FORSCHUNG, BAND 4