Skolem's Discovery of Gödel-Dummett Logic.
- Published in:
- Studia Logica, 2003, v. 73, n. 1, p. 153, doi. 10.1023/a:1022997524909
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2003 AND VI 73 AND IP 1
Results: 8
1
2
On Different Proof-Search Strategies for Orthologic.
- Published in:
- Studia Logica, 2003, v. 73, n. 1, p. 131, doi. 10.1023/a:1022993408070
- By:
- Publication type:
- Article
3
Halldén-Completeness in Super-Intuitionistic Predicate Logics.
- Published in:
- Studia Logica, 2003, v. 73, n. 1, p. 113, doi. 10.1023/a:1022941407162
- By:
- Publication type:
- Article
4
Intensional Completeness in an Extension of Gödel/Dummett Logic.
- Published in:
- Studia Logica, 2003, v. 73, n. 1, p. 51, doi. 10.1023/a:1022937306253
- By:
- Publication type:
- Article
5
A Proof-theoretical Analysis of Semiconstructive Intermediate Theories.
- Published in:
- Studia Logica, 2003, v. 73, n. 1, p. 21, doi. 10.1023/a:1022985222183
- By:
- Publication type:
- Article
6
Preface. In Memoriam Pierangelo Miglioli (19461999).
- Published in:
- Studia Logica, 2003, v. 73, n. 1, p. 5, doi. 10.1023/a:1022981105345
- By:
- Publication type:
- Article
7
Foreword.
- Published in:
- Studia Logica, 2003, v. 73, n. 1, p. 3, doi. 10.1023/a:1022929004436
- By:
- Publication type:
- Article
8
Tableaux for Łukasiewicz Infinite-valued Logic.
- Published in:
- Studia Logica, 2003, v. 73, n. 1, p. 81, doi. 10.1023/a:1022989323091
- By:
- Publication type:
- Article