Semantics for Dual and Symmetric Combinatory Calculi.
- Published in:
- Journal of Philosophical Logic, 2004, v. 33, n. 2, p. 125, doi. 10.1023/B:LOGI.0000021709.73522.34
- By:
- Publication type:
- Article
Works matching IS 00223611 AND DT 2004 AND VI 33 AND IP 2
Results: 3
1
2
Vagueness and Blurry Sets.
- Published in:
- Journal of Philosophical Logic, 2004, v. 33, n. 2, p. 165, doi. 10.1023/B:LOGI.0000021717.26376.3f
- By:
- Publication type:
- Article
3
Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤ω.
- Published in:
- Journal of Philosophical Logic, 2004, v. 33, n. 2, p. 155, doi. 10.1023/B:LOGI.0000021744.10237.d0
- By:
- Publication type:
- Article