The class of neat reducts is not elementary.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 4, p. 593, doi. 10.1093/jigpal/9.4.593
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2001 AND VI 9 AND IP 4
Results: 6
1
2
On the decidability of the PVD class with equality.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 4, p. 569, doi. 10.1093/jigpal/9.4.569
- By:
- Publication type:
- Article
3
The completeness of linear logic for Petri net models.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 4, p. 549, doi. 10.1093/jigpal/9.4.549
- By:
- Publication type:
- Article
4
Admissibility of structural rules for extensions of contraction-free sequent calculi.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 4, p. 541, doi. 10.1093/jigpal/9.4.541
- By:
- Publication type:
- Article
5
Semantics for structurally free logics LC+.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 4, p. 525, doi. 10.1093/jigpal/9.4.525
- By:
- Publication type:
- Article
6
Unification via the λse-style of explicit substitutions.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 4, p. 489, doi. 10.1093/jigpal/9.4.489
- By:
- Publication type:
- Article