Works matching IS 13670751 AND DT 2004 AND VI 12 AND IP 5
Results: 5
Polish Logic.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 5, p. 399, doi. 10.1093/jigpal/12.5.399
- By:
- Publication type:
- Article
Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 5, p. 429, doi. 10.1093/jigpal/12.5.429
- Publication type:
- Article
A Hybrid Abductive Inductive Proof Procedure.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 5, p. 371, doi. 10.1093/jigpal/12.5.371
- By:
- Publication type:
- Article
Routely-Meyer Semantics for some weak Boolean Logics, and some Translations.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 5, p. 355, doi. 10.1093/jigpal/12.5.355
- By:
- Publication type:
- Article
Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for η▹η.
- Published in:
- Logic Journal of the IGPL, 2004, v. 12, n. 5, p. 345, doi. 10.1093/jigpal/12.5.345
- By:
- Publication type:
- Article