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
Works matching IS 13670751 AND DT 2002 AND VI 10 AND IP 3
Results: 5
1
2
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
3
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
4
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
5
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