Proof Theory of Paraconsistent Quantum Logic.
- Published in:
- Journal of Philosophical Logic, 2018, v. 47, n. 2, p. 301, doi. 10.1007/s10992-017-9428-z
- By:
- Publication type:
- Article
Works matching IS 00223611 AND DT 2018 AND VI 47 AND IP 2
Results: 7
1
2
Axiomatic Theories of Partial Ground II.
- Published in:
- Journal of Philosophical Logic, 2018, v. 47, n. 2, p. 193, doi. 10.1007/s10992-017-9444-z
- By:
- Publication type:
- Article
3
An Axiomatic System and a Tableau Calculus for STIT Imagination Logic.
- Published in:
- Journal of Philosophical Logic, 2018, v. 47, n. 2, p. 259, doi. 10.1007/s10992-017-9426-1
- By:
- Publication type:
- Article
4
Combinatorial Bitstring Semantics for Arbitrary Logical Fragments.
- Published in:
- Journal of Philosophical Logic, 2018, v. 47, n. 2, p. 325, doi. 10.1007/s10992-017-9430-5
- By:
- Publication type:
- Article
5
There is More to Negation than Modality.
- Published in:
- Journal of Philosophical Logic, 2018, v. 47, n. 2, p. 281, doi. 10.1007/s10992-017-9427-0
- By:
- Publication type:
- Article
6
On the Costs of Nonclassical Logic.
- Published in:
- Journal of Philosophical Logic, 2018, v. 47, n. 2, p. 227, doi. 10.1007/s10992-017-9424-3
- By:
- Publication type:
- Article
7
Axiomatic Theories of Partial Ground I.
- Published in:
- Journal of Philosophical Logic, 2018, v. 47, n. 2, p. 161, doi. 10.1007/s10992-016-9423-9
- By:
- Publication type:
- Article