Works matching IS 13670751 AND DT 1998 AND VI 6 AND IP 1
Results: 8
Interest group in pure and applied logics (IGPL).
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 1, p. 147, doi. 10.1093/jigpal/6.1.147
- By:
- Publication type:
- Article
Products of modal logics, part 1.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 1, p. 73, doi. 10.1093/jigpal/6.1.73
- By:
- Publication type:
- Article
A fast deterministic algorithm for formulas that have many satisfying assignments.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 1, p. 59, doi. 10.1093/jigpal/6.1.59
- By:
- Publication type:
- Article
Stereotypical reasoning: logical properties.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 1, p. 49, doi. 10.1093/jigpal/6.1.49
- By:
- Publication type:
- Article
Formulas for which contraction is admissible.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 1, p. 43, doi. 10.1093/jigpal/6.1.43
- By:
- Publication type:
- Article
Decision procedures and model building in equational clause logic.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 1, p. 17, doi. 10.1093/jigpal/6.1.17
- By:
- Publication type:
- Article
On the equational theory of representable polyadic equality algebras (extended abstract).
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 1, p. 3, doi. 10.1093/jigpal/6.1.3
- By:
- Publication type:
- Article
Editorial.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 1, p. 1, doi. 10.1093/jigpal/6.1.1
- By:
- Publication type:
- Article