Result 1 to 16 of 16 total
A solution to Curry and Hindley’s problem on combinatory strong reduction. (English)
Arch. Math. Logic 48, No. 2, 159-184 (2009).
1
Analytic proof systems for $λ$-calculus: the elimination of transitivity, and why it matters. (English)
Arch. Math. Logic 46, No. 5-6, 385-424 (2007).
2
Analytic combinatory calculi and the elimination of transitivity. (English)
Arch. Math. Logic 43, No. 2, 159-191 (2004).
3
Uniform inseparability in explicit mathematics. (English)
J. Symb. Log. 64, No.1, 313-326 (1999).
4
Theories of types and names with positive stratified comprehension. (English)
Stud. Log. 62, No.2, 215-242 (1999).
5
Uniform inseparability in explicit mathematics (English)
J. Symb. Log. 64, No. 1, 313-326 (1999).
6
Intermediate predicate logics determined by ordinals. (English)
J. Symb. Log. 55, No. 3, 1099-1124 (1990).
7
Intermediate predicate logics determined by ordinals (English)
J. Symb. Log. 55, No. 3, 1099-1124 (1990).
8
The property (HD) in intermediate logics. A partial solution of a problem of H. Ono. (English)
Rep. Math. Logic 22, 21-25 (1988).
9
On the semantics of comparative logic. (English)
Z. Math. Logik Grundlagen Math. 34, No.5, 433-448 (1988).
10
A note on a subsystem of intuitionistic logic with constant domains. (English)
Z. Math. Logik Grundlagen Math. 33, 385-387 (1987).
11
Quasilinear posets and some subsystems of Dummett’s LC. (English)
Z. Math. Logik Grundlagen Math. 33, 257-266 (1987).
12
Intermediate logics with the same disjunctionless fragment as intuitionistic logic. (English)
Stud. Log. 45, 207-222 (1986).
13
On the extension of intuitionistic propositional logic with Kreisel- Putnam’s and Scott’s schemes. (English)
Stud. Log. 45, 55-68 (1986).
14
Completeness theorems for some intermediate predicate calculi. (English)
Stud. Log. 42, 431-441 (1983).
15
Negation-free intermediate predicate logics. (English)
Boll. Unione Mat. Ital., VI. Ser., B 2, 499-536 (1983).
16
Result 1 to 16 of 16 total
Start
Contact
Print
General Help
