Works matching IS 13670751 AND DT 2002 AND VI 10 AND IP 3
Results: 5
On the semantics of informational independence.
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 3, p. 339, doi. 10.1093/jigpal/10.3.339
- By:
- Publication type:
- Article
Ultimate Normal Forms for Parallelized Natural Deductions.
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 3, p. 299, doi. 10.1093/jigpal/10.3.299
- By:
- Publication type:
- Article
Propositional Logic for Ground Semigroups of Context.
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 3, p. 273, doi. 10.1093/jigpal/10.3.273
- By:
- Publication type:
- Article
Characterizations of Preferential Entailments.
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 3, p. 245, doi. 10.1093/jigpal/10.3.245
- By:
- Publication type:
- Article
A Resolution/Tableaux Algorithm for Projective Approximations in IPC.
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 3, p. 229, doi. 10.1093/jigpal/10.3.229
- By:
- Publication type:
- Article