Axiomatisation and decidability of F and P in cyclical time.
- Published in:
- Journal of Philosophical Logic, 1994, v. 23, n. 2, p. 197, doi. 10.1007/BF01050343
- By:
- Publication type:
- Article
Works matching IS 00223611 AND DT 1994 AND VI 23 AND IP 2
Results: 4
1
2
Erotetic implications.
- Published in:
- Journal of Philosophical Logic, 1994, v. 23, n. 2, p. 173
- By:
- Publication type:
- Article
3
Property theory: The type-free approach v. the Church approach.
- Published in:
- Journal of Philosophical Logic, 1994, v. 23, n. 2, p. 139, doi. 10.1007/BF01050341
- By:
- Publication type:
- Article
4
Rules in relevant logic-I: Semantic classification.
- Published in:
- Journal of Philosophical Logic, 1994, v. 23, n. 2, p. 111, doi. 10.1007/BF01050340
- By:
- Publication type:
- Article