Quantum logics and Lindenbaum property.
- Published in:
- Studia Logica, 1987, v. 46, n. 1, p. 17, doi. 10.1007/BF00396903
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 1987 AND VI 46 AND IP 1
Results: 7
1
2
International Union of History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science Bulletin no. 11.
- Published in:
- 1987
- By:
- Publication type:
- Report
3
First-order fuzzy logic.
- Published in:
- Studia Logica, 1987, v. 46, n. 1, p. 87, doi. 10.1007/BF00396907
- By:
- Publication type:
- Article
4
'The story says that' operator in story semantics.
- Published in:
- Studia Logica, 1987, v. 46, n. 1, p. 73, doi. 10.1007/BF00396906
- By:
- Publication type:
- Article
5
Definability and Quantifier Elimination for J-theories.
- Published in:
- Studia Logica, 1987, v. 46, n. 1, p. 37, doi. 10.1007/BF00396904
- By:
- Publication type:
- Article
6
Four relevant Gentzen systems.
- Published in:
- Studia Logica, 1987, v. 46, n. 1, p. 55, doi. 10.1007/BF00396905
- By:
- Publication type:
- Article
7
Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain.
- Published in:
- Studia Logica, 1987, v. 46, n. 1, p. 1, doi. 10.1007/BF00396902
- By:
- Publication type:
- Article