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
Works matching IS 00393215 AND DT 1981 AND VI 40 AND IP 1
Results: 7
1
2
Game theoretical semantics and entailment.
- Published in:
- Studia Logica, 1981, v. 40, n. 1, p. 67, doi. 10.1007/BF01837556
- By:
- Publication type:
- Article
3
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
4
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
5
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
6
Inclusive first-order logic.
- Published in:
- Studia Logica, 1981, v. 40, n. 1, p. 13, doi. 10.1007/BF01837552
- By:
- Publication type:
- Article
7
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