Works matching IS 13670751 AND DT 1998 AND VI 6 AND IP 3
Results: 6
Cut-free double sequent calculus for S5.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 3, p. 505, doi. 10.1093/jigpal/6.3.505
- By:
- Publication type:
- Article
Substructural logics on display.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 3, p. 451, doi. 10.1093/jigpal/6.3.451
- By:
- Publication type:
- Article
Towards structurally-free theorem proving.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 3, p. 425, doi. 10.1093/jigpal/6.3.425
- By:
- Publication type:
- Article
Two extensions of the structurally free logic LC.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 3, p. 403, doi. 10.1093/jigpal/6.3.403
- By:
- Publication type:
- Article
Embedding classical logic into basic orthologic with a primitive modality.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 3, p. 383, doi. 10.1093/jigpal/6.3.383
- By:
- Publication type:
- Article
Editorial introduction. Special issue on consequence relations and sequent systems.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 3, p. 377, doi. 10.1093/jigpal/6.3.377
- By:
- Publication type:
- Article