Works matching IS 13670751 AND DT 1999 AND VI 7 AND IP 2
Results: 5
Independent bases for rules admissible in pretabular logics.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 2, p. 253, doi. 10.1093/jigpal/7.2.253
- By:
- Publication type:
- Article
Pruning the search space and extracting more models in tableaux.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 2, p. 217, doi. 10.1093/jigpal/7.2.217
- By:
- Publication type:
- Article
A normalization procedure for the equational fragment of labelled natural deduction.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 2, p. 173, doi. 10.1093/jigpal/7.2.173
- By:
- Publication type:
- Article
Finite-cofinite program relations.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 2, p. 153, doi. 10.1093/jigpal/7.2.153
- By:
- Publication type:
- Article
Classical negation can be expressed by one of its halves.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 2, p. 145, doi. 10.1093/jigpal/7.2.145
- By:
- Publication type:
- Article