Works matching IS 00393215 AND DT 1992 AND VI 51 AND IP 1
Results: 10
International Union of History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science (IUHPS/DLMPS).
- Published in:
- Studia Logica, 1992, v. 51, n. 1, p. 157, doi. 10.1007/BF00370337
- Publication type:
- Article
Books received.
- Published in:
- 1992
- By:
- Publication type:
- Book Review
Lambek calculus with restricted contraction and expansion.
- Published in:
- Studia Logica, 1992, v. 51, n. 1, p. 125, doi. 10.1007/BF00370335
- By:
- Publication type:
- Article
Strong versus weak quantum consequence operations.
- Published in:
- Studia Logica, 1992, v. 51, n. 1, p. 113, doi. 10.1007/BF00370334
- By:
- Publication type:
- Article
Brouwer-Zadeh logic, decidability and bimodal systems.
- Published in:
- Studia Logica, 1992, v. 51, n. 1, p. 97, doi. 10.1007/BF00370333
- By:
- Publication type:
- Article
The converse principal type-scheme theorem in lambda calculus.
- Published in:
- Studia Logica, 1992, v. 51, n. 1, p. 83, doi. 10.1007/BF00370332
- By:
- Publication type:
- Article
Modal companions of intermediate propositional logics.
- Published in:
- Studia Logica, 1992, v. 51, n. 1, p. 49, doi. 10.1007/BF00370331
- By:
- Publication type:
- Article
Partial monotonicity and a new version of the Ramsey test.
- Published in:
- Studia Logica, 1992, v. 51, n. 1, p. 21, doi. 10.1007/BF00370330
- By:
- Publication type:
- Article
Semantics for relevance logic with identity.
- Published in:
- Studia Logica, 1992, v. 51, n. 1, p. 1, doi. 10.1007/BF00370329
- By:
- Publication type:
- Article
Editorial note.
- Published in:
- 1992
- By:
- Publication type:
- Editorial