Works matching IS 13670751 AND DT 2000 AND VI 8 AND IP 2
Results: 4
Normal Gentzen deductions in the classical case.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 2, p. 211, doi. 10.1093/jigpal/8.2.211
- By:
- Publication type:
- Article
Products of modal logics. Part 2: relativised quantifiers in classical logic.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 2, p. 165, doi. 10.1093/jigpal/8.2.165
- By:
- Publication type:
- Article
Concurrent systems analysis using ECATNets.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 2, p. 149, doi. 10.1093/jigpal/8.2.149
- By:
- Publication type:
- Article
General patterns for nonmonotonic reasoning: from basic entailments to plausible relations.
- Published in:
- Logic Journal of the IGPL, 2000, v. 8, n. 2, p. 119, doi. 10.1093/jigpal/8.2.119
- By:
- Publication type:
- Article