Works matching IS 13670751 AND DT 2005 AND VI 13 AND IP 2
Results: 8
Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 2, p. 267, doi. 10.1093/jigpal/jzi018
- Publication type:
- Article
The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 2, p. 159, doi. 10.1093/jigpal/jzi012
- By:
- Publication type:
- Article
Dialectical Considerations on the Logic of Contradiction: Part I.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 2, p. 231, doi. 10.1093/jigpal/jzi016
- By:
- Publication type:
- Article
Semipositive LTL with an Uninterpreted Past Operator.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 2, p. 211, doi. 10.1093/jigpal/jzi015
- By:
- Publication type:
- Article
Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 2, p. 201, doi. 10.1093/jigpal/jzi014
- By:
- Publication type:
- Article
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 2, p. 173, doi. 10.1093/jigpal/jzi013
- By:
- Publication type:
- Article
A note on Hájek, Paris and Shepherdson's theorem.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 2, p. 261, doi. 10.1093/jigpal/jzi017
- By:
- Publication type:
- Article
A Weak Constructive Sequential Compactness Property and the Fan Theorem.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 2, p. 151, doi. 10.1093/jigpal/jzi011
- By:
- Publication type:
- Article