Works matching IS 00393215 AND DT 1993 AND VI 52 AND IP 2
Results: 9
The relative complexity of analytic tableaux and SL-resolution.
- Published in:
- Studia Logica, 1993, v. 52, n. 2, p. 323, doi. 10.1007/BF01058395
- By:
- Publication type:
- Article
An essay on resolution logics.
- Published in:
- Studia Logica, 1993, v. 52, n. 2, p. 309, doi. 10.1007/BF01058394
- By:
- Publication type:
- Article
Identity in modal logic theorem proving.
- Published in:
- Studia Logica, 1993, v. 52, n. 2, p. 291, doi. 10.1007/BF01058393
- By:
- Publication type:
- Article
A reasoning method for a paraconsistent logic.
- Published in:
- Studia Logica, 1993, v. 52, n. 2, p. 281, doi. 10.1007/BF01058392
- By:
- Publication type:
- Article
An intensional epistemic logic.
- Published in:
- Studia Logica, 1993, v. 52, n. 2, p. 259, doi. 10.1007/BF01058391
- By:
- Publication type:
- Article
Theory matrices (for modal logics) using alphabetical monotonicity.
- Published in:
- Studia Logica, 1993, v. 52, n. 2, p. 233, doi. 10.1007/BF01058390
- By:
- Publication type:
- Article
A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics.
- Published in:
- Studia Logica, 1993, v. 52, n. 2, p. 197, doi. 10.1007/BF01058389
- By:
- Publication type:
- Article
Automated theorem proving for Łukasiewicz logics.
- Published in:
- Studia Logica, 1993, v. 52, n. 2, p. 183, doi. 10.1007/BF01058388
- By:
- Publication type:
- Article
Introduction.
- Published in:
- 1993
- By:
- Publication type:
- Editorial