Found: 14
Select item for more details and to access through your institution.
Categorial grammars determined from linguistic data by unification.
- Published in:
- Studia Logica, 1990, v. 49, n. 4, p. 431, doi. 10.1007/BF00370157
- By:
- Publication type:
- Article
An almost general splitting theorem for modal logic.
- Published in:
- Studia Logica, 1990, v. 49, n. 4, p. 455, doi. 10.1007/BF00370158
- By:
- Publication type:
- Article
The simple substitution property of Gödel's intermediate propositional logics S's.
- Published in:
- Studia Logica, 1990, v. 49, n. 4, p. 471, doi. 10.1007/BF00370159
- By:
- Publication type:
- Article
Logics preserving degrees of truth.
- Published in:
- Studia Logica, 1990, v. 49, n. 4, p. 483, doi. 10.1007/BF00370160
- By:
- Publication type:
- Article
Models for relevant modal logics.
- Published in:
- Studia Logica, 1990, v. 49, n. 4, p. 501, doi. 10.1007/BF00370161
- By:
- Publication type:
- Article
Linear axiomatics of commutative product-free Lambek calculus.
- Published in:
- Studia Logica, 1990, v. 49, n. 4, p. 515, doi. 10.1007/BF00370162
- By:
- Publication type:
- Article
A general possible worlds framework for reasoning about knowledge and belief.
- Published in:
- Studia Logica, 1990, v. 49, n. 4, p. 523, doi. 10.1007/BF00370163
- By:
- Publication type:
- Article
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic.
- Published in:
- Studia Logica, 1990, v. 49, n. 4, p. 541, doi. 10.1007/BF00370164
- By:
- Publication type:
- Article
Conditionals and monotonic belief revisions: the success postulate.
- Published in:
- Studia Logica, 1990, v. 49, n. 4, p. 557, doi. 10.1007/BF00370165
- By:
- Publication type:
- Article
Four dialogue systems.
- Published in:
- Studia Logica, 1990, v. 49, n. 4, p. 567, doi. 10.1007/BF00370166
- By:
- Publication type:
- Article
A coding of the countable linear orderings.
- Published in:
- Studia Logica, 1990, v. 49, n. 4, p. 585, doi. 10.1007/BF00370167
- By:
- Publication type:
- Article
A note on some extension results.
- Published in:
- Studia Logica, 1990, v. 49, n. 4, p. 591, doi. 10.1007/BF00370168
- By:
- Publication type:
- Article
Books received.
- Published in:
- 1990
- By:
- Publication type:
- Book Review
Mail box.
- Published in:
- Studia Logica, 1990, v. 49, n. 4, p. 613, doi. 10.1007/BF00370170
- By:
- Publication type:
- Article