Acknowledgements.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 2, p. 210, doi. 10.1093/jigpal/jzm016
- Publication type:
- Article
Works matching IS 13670751 AND DT 2007 AND VI 15 AND IP 2
Results: 6
1
2
The Weak Normalization of the Simply Typed λse-calculus.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 2, p. 121, doi. 10.1093/jigpal/jzm003
- By:
- Publication type:
- Article
3
On Cylindric Algebras Satisfying Merry-go-round Properties.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 2, p. 183, doi. 10.1093/jigpal/jzm006
- By:
- Publication type:
- Article
4
A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 2, p. 149, doi. 10.1093/jigpal/jzm004
- By:
- Publication type:
- Article
5
Conferences.
- Published in:
- 2007
- Publication type:
- Proceeding
6
The Relevant Equivalence Property.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 2, p. 165, doi. 10.1093/jigpal/jzm005
- By:
- Publication type:
- Article