52

On the linear Lindenbaum algebra of Basic Propositional Logic

Year:
2004
Language:
english
File:
PDF, 103 KB
english, 2004
53

On Löb algebras

Year:
2006
Language:
english
File:
PDF, 153 KB
english, 2006
54

Decidability and Specker sequences in intuitionistic mathematics

Year:
2009
Language:
english
File:
PDF, 123 KB
english, 2009
63

Basic Propositional Calculus II. Interpolation

Year:
2001
Language:
english
File:
PDF, 129 KB
english, 2001
66

A Gentzen-style axiomatization for basic predicate calculus

Year:
2003
Language:
english
File:
PDF, 176 KB
english, 2003
69

Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic

Year:
2001
Language:
english
File:
PDF, 231 KB
english, 2001
77

On the constructive notion of closure maps

Year:
2012
Language:
english
File:
PDF, 154 KB
english, 2012
91

A SOLUTION TO THE SURPRISE EXAM PARADOX IN CONSTRUCTIVE MATHEMATICS

Year:
2012
Language:
english
File:
PDF, 76 KB
english, 2012