Modality and Contextuality in Topos Quantum Theory.
- Published in:
- Studia Logica, 2016, v. 104, n. 6, p. 1099, doi. 10.1007/s11225-016-9668-x
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2016 AND VI 104 AND IP 6
Results: 12
1
2
A Game Semantics for System P.
- Published in:
- Studia Logica, 2016, v. 104, n. 6, p. 1119, doi. 10.1007/s11225-016-9669-9
- By:
- Publication type:
- Article
3
A New View of Effects in a Hilbert Space.
- Published in:
- Studia Logica, 2016, v. 104, n. 6, p. 1145, doi. 10.1007/s11225-016-9670-3
- By:
- Publication type:
- Article
4
Constructing Natural Extensions of Propositional Logics.
- Published in:
- Studia Logica, 2016, v. 104, n. 6, p. 1179, doi. 10.1007/s11225-016-9671-2
- By:
- Publication type:
- Article
5
Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility.
- Published in:
- Studia Logica, 2016, v. 104, n. 6, p. 1191, doi. 10.1007/s11225-016-9672-1
- By:
- Publication type:
- Article
6
Compositional Z: Confluence Proofs for Permutative Conversion.
- Published in:
- Studia Logica, 2016, v. 104, n. 6, p. 1205, doi. 10.1007/s11225-016-9673-0
- By:
- Publication type:
- Article
7
Turing-Taylor Expansions for Arithmetic Theories.
- Published in:
- Studia Logica, 2016, v. 104, n. 6, p. 1225, doi. 10.1007/s11225-016-9674-z
- By:
- Publication type:
- Article
8
Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic.
- Published in:
- Studia Logica, 2016, v. 104, n. 6, p. 1245, doi. 10.1007/s11225-016-9675-y
- By:
- Publication type:
- Article
9
Cofinal Stable Logics.
- Published in:
- Studia Logica, 2016, v. 104, n. 6, p. 1287, doi. 10.1007/s11225-016-9677-9
- By:
- Publication type:
- Article
10
Categoricity Spectra for Polymodal Algebras.
- Published in:
- Studia Logica, 2016, v. 104, n. 6, p. 1083, doi. 10.1007/s11225-016-9667-y
- By:
- Publication type:
- Article
11
Understanding Negation Implicationally in the Relevant Logic R.
- Published in:
- Studia Logica, 2016, v. 104, n. 6, p. 1267, doi. 10.1007/s11225-016-9676-x
- By:
- Publication type:
- Article
12
Book Review: Jean Buridan, Treatise on Consequences.
- Published in:
- 2016
- By:
- Publication type:
- Book Review