Dual realizability in symmetric logic. (English)
Ann. Pure Appl. Logic 113, No.1-3, 389-397 (2002).
1
Extending the system T$_0$ of explicit mathematics: The limit and Mahlo axioms. (English)
Ann. Pure Appl. Logic 114, No.1-3, 79-101 (2002).
2
Proof theory for finitely valid sentences. (English)
Rep. Math. Logic 35, 47-59 (2001).
3
Truth in applicative theories. (English)
Stud. Log. 68, No.1, 103-128 (2001).
4
Fixed point theories and dependent choice. (English)
Arch. Math. Logic 39, No.7, 493-508 (2000).
5
Analytic cut trees. (English)
Log. J. IGPL 8, No.6, 733-750 (2000).
6
Feasible operations and applicative theories based on $λη$. (English)
Math. Log. Q. 46, No.3, 291-311 (2000).
7
Start
Contact
Print
General Help
