|
Journals in DBLP
Studia Logica 1999, volume: 63, number: 1
- Ulrich Kohlenbach
A Note on Goodman's Theorem. [Citation Graph (0, 0)][DBLP] Studia Logica, 1999, v:63, n:1, pp:1-5 [Journal]
- Duccio Luchi, Franco Montagna
An Operational Logic of Proofs with Positive and Negative Information. [Citation Graph (0, 0)][DBLP] Studia Logica, 1999, v:63, n:1, pp:7-25 [Journal]
- Paolo Gentilini
Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric. [Citation Graph (0, 0)][DBLP] Studia Logica, 1999, v:63, n:1, pp:27-48 [Journal]
- John Cantwell
Some Logics of Iterated Belief Change. [Citation Graph (0, 0)][DBLP] Studia Logica, 1999, v:63, n:1, pp:49-84 [Journal]
- J. W. Degen
Complete Infinitary Type Logics. [Citation Graph (0, 0)][DBLP] Studia Logica, 1999, v:63, n:1, pp:85-119 [Journal]
- James D. McCawley
Everything That Linguists Have Always Wanted to Know About Logic. [Citation Graph (0, 0)][DBLP] Studia Logica, 1999, v:63, n:1, pp:121-150 [Journal]
|