Proper Semantics for Substructural Logics, from a Stalker Theoretic Point of View.
- Published in:
- Studia Logica, 2008, v. 88, n. 2, p. 295, doi. 10.1007/s11225-008-9106-9
- Publication type:
- Article
Works matching IS 00393215 AND DT 2008 AND VI 88 AND IP 2
Results: 6
1
2
What is the Logic of Inference?
- Published in:
- Studia Logica, 2008, v. 88, n. 2, p. 263, doi. 10.1007/s11225-008-9105-x
- Publication type:
- Article
3
Decidable Cases of First-order Temporal Logic with Functions.
- Published in:
- Studia Logica, 2008, v. 88, n. 2, p. 247, doi. 10.1007/s11225-008-9104-y
- By:
- Publication type:
- Article
4
Symmetry as a Criterion for Comprehension Motivating Quineâs âNew Foundationsâ.
- Published in:
- Studia Logica, 2008, v. 88, n. 2, p. 195, doi. 10.1007/s11225-008-9107-8
- By:
- Publication type:
- Article
5
Decomposability of the Finitely Generated Free Hoop Residuation Algebra.
- Published in:
- Studia Logica, 2008, v. 88, n. 2, p. 233, doi. 10.1007/s11225-008-9103-z
- By:
- Publication type:
- Article
6
Three-Valued Temporal Logic Q <sub> t </sub> and Future Contingents.
- Published in:
- Studia Logica, 2008, v. 88, n. 2, p. 215, doi. 10.1007/s11225-008-9102-0
- By:
- Publication type:
- Article