Complete Infinitary Type Logics.
- Published in:
- Studia Logica, 1999, v. 63, n. 1, p. 85, doi. 10.1023/A:1005271521209
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 1999 AND VI 63 AND IP 1
Results: 6
1
2
Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric.
- Published in:
- Studia Logica, 1999, v. 63, n. 1, p. 27, doi. 10.1023/A:1005203020301
- By:
- Publication type:
- Article
3
An Operational Logic of Proofs with Positive and Negative Information.
- Published in:
- Studia Logica, 1999, v. 63, n. 1, p. 7, doi. 10.1023/A:1005298816666
- By:
- Publication type:
- Article
4
James D. McCawley, Everything That Linguists Have Always Wanted to Know About Logic.
- Published in:
- Studia Logica, 1999, v. 63, n. 1, p. 121, doi. 10.1023/A:1017201505279
- Publication type:
- Article
5
Some Logics of Iterated Belief Change.
- Published in:
- Studia Logica, 1999, v. 63, n. 1, p. 49, doi. 10.1023/A:1005219504371
- By:
- Publication type:
- Article
6
A Note on Goodman's Theorem.
- Published in:
- Studia Logica, 1999, v. 63, n. 1, p. 1, doi. 10.1023/A:1005278215757
- By:
- Publication type:
- Article