Free-variable tableaux for monotonic preorders.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 6, p. 813, doi. 10.1093/jigpal/9.6.813
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2001 AND VI 9 AND IP 6
Results: 5
1
2
Intuitionistic sequent calculi for finitely many-valued logics.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 6, p. 793, doi. 10.1093/jigpal/9.6.793
- By:
- Publication type:
- Article
3
Lambek grammars as combinatory categorial grammars.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 6, p. 781, doi. 10.1093/jigpal/9.6.781
- By:
- Publication type:
- Article
4
On a hierarchy involving transitive closure logic and existential second-order quantification.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 6, p. 769, doi. 10.1093/jigpal/9.6.769
- By:
- Publication type:
- Article
5
Approximate belief revision.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 6, p. 755, doi. 10.1093/jigpal/9.6.755
- By:
- Publication type:
- Article