Works matching IS 13670751 AND DT 1997 AND VI 5 AND IP 3
Results: 7
Conferences.
- Published in:
- 1997
- By:
- Publication type:
- Proceeding
Belnap's Four-Valued Logic and De Morgan Lattices.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 3, p. 1, doi. 10.1093/jigpal/5.3.1-e
- By:
- Publication type:
- Article
A Type Theory with Mixed Constructivity and Assignments.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 3, p. 1, doi. 10.1093/jigpal/5.3.1-d
- By:
- Publication type:
- Article
Answer Synthesis for CLP Programs with Negation.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 3, p. 1, doi. 10.1093/jigpal/5.3.1-c
- By:
- Publication type:
- Article
Relativizations of the Principle of Identity.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 3, p. 1, doi. 10.1093/jigpal/5.3.1-b
- By:
- Publication type:
- Article
A Lower Bound for Interpolation.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 3, p. 1, doi. 10.1093/jigpal/5.3.1-a
- By:
- Publication type:
- Article
A Finite Axiomatization for Fork Algebras.
- Published in:
- Logic Journal of the IGPL, 1997, v. 5, n. 3, p. 1, doi. 10.1093/jigpal/5.3.1
- By:
- Publication type:
- Article