Connection-Driven Inductive Theorem Proving.
- Published in:
- Studia Logica, 2001, v. 69, n. 2, p. 293, doi. 10.1023/A:1013874024997
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2001 AND VI 69 AND IP 2
Results: 7
1
2
An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions.
- Published in:
- Studia Logica, 2001, v. 69, n. 2, p. 279, doi. 10.1023/A:1013822008159
- By:
- Publication type:
- Article
3
On Different Intuitionistic Calculi and Embeddings from Int to S4.
- Published in:
- Studia Logica, 2001, v. 69, n. 2, p. 249, doi. 10.1023/A:1013869924088
- By:
- Publication type:
- Article
4
Decomposition Proof Systems for Gödel-Dummett Logics.
- Published in:
- Studia Logica, 2001, v. 69, n. 2, p. 197, doi. 10.1023/A:1013813806341
- By:
- Publication type:
- Article
5
Editorial.
- Published in:
- 2001
- By:
- Publication type:
- Editorial
6
Information for Authors.
- Published in:
- Studia Logica, 2001, v. 69, n. 2, p. 329, doi. 10.1023/A:1017388508356
- Publication type:
- Article
7
Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics.
- Published in:
- Studia Logica, 2001, v. 69, n. 2, p. 221, doi. 10.1023/A:1013865807250
- By:
- Publication type:
- Article