research
∙
05/15/2023
Eigenvariables, bracketing and the decidability of positive minimal predicate logic
We give a new proof of a theorem of Mints that the positive fragment of ...
share
research
∙
05/02/2023
Enumerating proofs of positive formulae
We provide a semi-grammatical description of the set of normal proofs of...
research
∙
04/24/2023
On the Expressive Power of Schemes
We present a calculus, called the scheme-calculus, that permits to expre...
research
∙
04/11/2023