Showing 1 - 4 results of 4 for search 'Jean-Baptiste Joinet', query time: 0.03s Refine Results
  1. 1
    Proving since ever? An inferential approach to compactness in propositional logic

    Proving since ever? An inferential approach to compactness in propositional logic by Jean-Baptiste Joinet

    Published 2022-01-01
    Get full text
    Article
  2. 2
    On the decidability of monadic first order logic in sequent calculus

    On the decidability of monadic first order logic in sequent calculus by Jean-Baptiste Joinet

    Published 2016-12-01
    Get full text
    Article
  3. 3
    Introduction

    Introduction by Luiz Carlos Pinheiro Dias Pereira, Jean-Baptiste Joinet

    Published 2016-12-01
    Get full text
    Article
  4. 4
    Introduction

    Introduction by Jean-Baptiste Joinet, Luiz Carlos Pinheiro Dias Pereira

    Published 2022-01-01
    Get full text
    Article

Search Tools: