Cut Elimination for GLS Using the Terminability of its Regress Process.
- Published in:
- Journal of Philosophical Logic, 2016, v. 45, n. 2, p. 147, doi. 10.1007/s10992-015-9368-4
- By:
- Publication type:
- Article
Works matching IS 00223611 AND DT 2016 AND VI 45 AND IP 2
Results: 6
1
2
Axiomatization of a Branching Time Logic with Indistinguishability Relations.
- Published in:
- Journal of Philosophical Logic, 2016, v. 45, n. 2, p. 155, doi. 10.1007/s10992-015-9369-3
- By:
- Publication type:
- Article
3
Natural Deduction for the Sheffer Stroke and Peirce's Arrow (and any Other Truth-Functional Connective).
- Published in:
- Journal of Philosophical Logic, 2016, v. 45, n. 2, p. 183, doi. 10.1007/s10992-015-9370-x
- By:
- Publication type:
- Article
4
Angellic Content.
- Published in:
- Journal of Philosophical Logic, 2016, v. 45, n. 2, p. 199, doi. 10.1007/s10992-015-9371-9
- By:
- Publication type:
- Article
5
The Mereological Foundation of Megethology.
- Published in:
- Journal of Philosophical Logic, 2016, v. 45, n. 2, p. 227, doi. 10.1007/s10992-015-9373-7
- By:
- Publication type:
- Article
6
The Application of Constraint Semantics to the Language of Subjective Uncertainty.
- Published in:
- Journal of Philosophical Logic, 2016, v. 45, n. 2, p. 121, doi. 10.1007/s10992-015-9367-5
- By:
- Publication type:
- Article