Works matching IS 13670751 AND DT 2008 AND VI 16 AND IP 5
Results: 4
Replacing Modus Ponens With One-Premiss Rules.
- Published in:
- Logic Journal of the IGPL, 2008, v. 16, n. 5, p. 431, doi. 10.1093/jigpal/jzn017
- By:
- Publication type:
- Article
The Class S3CAk is Not Closed Under Completions.
- Published in:
- Logic Journal of the IGPL, 2008, v. 16, n. 5, p. 427, doi. 10.1093/jigpal/jzn019
- By:
- Publication type:
- Article
Structural Completeness in Substructural Logics.
- Published in:
- Logic Journal of the IGPL, 2008, v. 16, n. 5, p. 453, doi. 10.1093/jigpal/jzn014
- By:
- Publication type:
- Article
Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2008, v. 16, n. 5, p. 497, doi. 10.1093/jigpal/jzn025
- Publication type:
- Article