Works matching IS 00393215 AND DT 2008 AND VI 88 AND IP 2
Results: 6
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
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
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
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
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
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