Research output

1. The Interpolation Problem in Finite-Layered Pre-Heyting Logics

   Research output: Contribution to journal › Article › peer-review

2. Recognizability in pre-Heyting and well-composed logics

   Research output: Contribution to journal › Article › peer-review

3. Extensions of the Minimal Logic and the Interpolation Problem

   Research output: Contribution to journal › Article › peer-review

View all (7) »