Works matching IS 00393215 AND DT 1998 AND VI 60 AND IP 1
Results: 8
Natural Deduction for Non-Classical Logics.
- Published in:
- Studia Logica, 1998, v. 60, n. 1, p. 119, doi. 10.1023/A:1005003904639
- By:
- Publication type:
- Article
Linear Lambda-Terms and Natural Deduction.
- Published in:
- Studia Logica, 1998, v. 60, n. 1, p. 209, doi. 10.1023/A:1005016206457
- By:
- Publication type:
- Article
Encoding Modal Logics in Logical Frameworks.
- Published in:
- Studia Logica, 1998, v. 60, n. 1, p. 161, doi. 10.1023/A:1005060022386
- By:
- Publication type:
- Article
Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic.
- Published in:
- Studia Logica, 1998, v. 60, n. 1, p. 107, doi. 10.1023/A:1005099619660
- By:
- Publication type:
- Article
Normal Natural Deduction Proofs (in classical logic).
- Published in:
- Studia Logica, 1998, v. 60, n. 1, p. 67, doi. 10.1023/A:1005091418752
- By:
- Publication type:
- Article
Automated Natural Deduction in Thinker.
- Published in:
- Studia Logica, 1998, v. 60, n. 1, p. 3, doi. 10.1023/A:1005035316026
- By:
- Publication type:
- Article
Note by the Guest Editors.
- Published in:
- Studia Logica, 1998, v. 60, n. 1, p. 1, doi. 10.1023/A:1005065031956
- By:
- Publication type:
- Article
Strategic Construction of Fitch-style Proofs.
- Published in:
- Studia Logica, 1998, v. 60, n. 1, p. 45, doi. 10.1023/A:1005087316935
- By:
- Publication type:
- Article