Works matching IS 13670751 AND DT 2007 AND VI 15 AND IP 3
Results: 6
First-Order Theories of Orthogonality Structures.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 3, p. 255, doi. 10.1093/jigpal/jzm011
- By:
- Publication type:
- Article
Substructural Logics in Natural Deduction.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 3, p. 211, doi. 10.1093/jigpal/jzm008
- By:
- Publication type:
- Article
An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 3, p. 239, doi. 10.1093/jigpal/jzm010
- By:
- Publication type:
- Article
Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 3, p. 287, doi. 10.1093/jigpal/jzm017
- Publication type:
- Article
A Note on Negation in Categorial Grammar.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 3, p. 271, doi. 10.1093/jigpal/jzm012
- By:
- Publication type:
- Article
Not Everything is Possible.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 3, p. 233, doi. 10.1093/jigpal/jzm009
- By:
- Publication type:
- Article