Found: 7
Select item for more details and to access through your institution.
An axiom system for orthomodular quantum logic.
- Published in:
- Studia Logica, 1981, v. 40, n. 1, p. 1, doi. 10.1007/BF01837551
- By:
- Publication type:
- Article
Inclusive first-order logic.
- Published in:
- Studia Logica, 1981, v. 40, n. 1, p. 13, doi. 10.1007/BF01837552
- By:
- Publication type:
- Article
On the relation provable equivalence and on partitions in effectively inseparable sets.
- Published in:
- Studia Logica, 1981, v. 40, n. 1, p. 29, doi. 10.1007/BF01837553
- By:
- Publication type:
- Article
On fragments of Medvedev's logic.
- Published in:
- Studia Logica, 1981, v. 40, n. 1, p. 39, doi. 10.1007/BF01837554
- By:
- Publication type:
- Article
On the {↔, ∼} -reduct of the intuitionistic consequence operation.
- Published in:
- Studia Logica, 1981, v. 40, n. 1, p. 55, doi. 10.1007/BF01837555
- By:
- Publication type:
- Article
Game theoretical semantics and entailment.
- Published in:
- Studia Logica, 1981, v. 40, n. 1, p. 67, doi. 10.1007/BF01837556
- By:
- Publication type:
- Article
On some ascending chains of brouwerian modal logics.
- Published in:
- Studia Logica, 1981, v. 40, n. 1, p. 75, doi. 10.1007/BF01837557
- By:
- Publication type:
- Article