Works matching IS 00393215 AND DT 1989 AND VI 48 AND IP 1
Results: 11
Books received.
- Published in:
- 1989
- By:
- Publication type:
- Book Review
Absolutely independent axiomatizations for countable sets in classical logic.
- Published in:
- Studia Logica, 1989, v. 48, n. 1, p. 77, doi. 10.1007/BF00370635
- By:
- Publication type:
- Article
Completeness for systems including real numbers.
- Published in:
- Studia Logica, 1989, v. 48, n. 1, p. 67, doi. 10.1007/BF00370634
- By:
- Publication type:
- Article
Sequent-systems and groupoid models. II.
- Published in:
- Studia Logica, 1989, v. 48, n. 1, p. 41, doi. 10.1007/BF00370633
- By:
- Publication type:
- Article
Corrections to first-order fuzzy logic.
- Published in:
- 1989
- Publication type:
- Correction Notice
R⌝-algebras and R⌝-model structures as power constructs.
- Published in:
- Studia Logica, 1989, v. 48, n. 1, p. 85, doi. 10.1007/BF00370636
- By:
- Publication type:
- Article
Sets as singularities in the intensional universe.
- Published in:
- Studia Logica, 1989, v. 48, n. 1, p. 111, doi. 10.1007/BF00370637
- By:
- Publication type:
- Article
A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi.
- Published in:
- Studia Logica, 1989, v. 48, n. 1, p. 35, doi. 10.1007/BF00370632
- By:
- Publication type:
- Article
A logic characterized by the class of connected models with nested domains.
- Published in:
- Studia Logica, 1989, v. 48, n. 1, p. 15, doi. 10.1007/BF00370630
- By:
- Publication type:
- Article
Completeness and conservative extension results for some boolean relevant logics.
- Published in:
- Studia Logica, 1989, v. 48, n. 1, p. 1, doi. 10.1007/BF00370629
- By:
- Publication type:
- Article
Presuppositional completeness.
- Published in:
- Studia Logica, 1989, v. 48, n. 1, p. 23, doi. 10.1007/BF00370631
- By:
- Publication type:
- Article