A Decision Procedure for Certain Disjunction-free Intermediate Propositional Calculi
An algebraic and Kripke-style approach to a certain extension of intuitionistic logic [Book]
An algebraic approach to the Heyting-Brouwer predicate calculus
An extension of the Kreisel-Putman system.
Choice sequences and Markov's principle
Ein ausgezeichnetes Modell für die intuitionistische Typenlogik.
Ein starker Normalisationssatz für die bar-rekursiven Funktionale.
Ein starker Normalisationssatz für die intuitionistische Typentheorie.
Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik.
Failure of completeness properties of intuitionistic predicate logic for constructive models
Homomorphe-invariante Formeln in der intuitionistischen Logik.
Interrelation of algebraic, semantical and logical properties for superintuitionistic and modal logics
We consider the families 𝓛 of propositional superintuitionistic logics (s.i.l.) and NE(K) of normal modal logics (n.m.l.). It is well known that there is a duality between 𝓛 and the lattice of varieties of pseudo-boolean algebras (or Heyting algebras), and also NE(K) is dually isomorphic to the lattice of varieties of modal algebras. Many important properties of logics, for instance, Craig's interpolation property (CIP), the disjunction property (DP), the Beth property (BP), Hallden-completeness...
On 2nd order intuitionistic propositional calculus with full comprehension.
On an algebraic and Kripke semantics for intermediate logics
On interpolation when function symbols are present.
On the Quantifier of Limiting Realizability
Proof of a conjecture of McKay
Reduced Products Of Saturated Intuitionistic Theories
Reduced products of saturated intuitionistic theories.
Semantics for some intermediate logics.