Works matching IS 13670751 AND DT 1999 AND VI 7 AND IP 4
Results: 6
Conferences.
- Published in:
- 1999
- By:
- Publication type:
- Proceeding
A finite relation algebra with undecidable network satisfaction problem.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 4, p. 547, doi. 10.1093/jigpal/7.4.547
- By:
- Publication type:
- Article
A binary-conclusion natural deduction system.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 4, p. 517, doi. 10.1093/jigpal/7.4.517
- By:
- Publication type:
- Article
STS: a structural theory of sets.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 4, p. 481, doi. 10.1093/jigpal/7.4.481
- By:
- Publication type:
- Article
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 4, p. 447, doi. 10.1093/jigpal/7.4.447
- By:
- Publication type:
- Article
Distance based revision of preferential logics.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 4, p. 429, doi. 10.1093/jigpal/7.4.429
- By:
- Publication type:
- Article