Works matching IS 00393215 AND DT 1991 AND VI 50 AND IP 3/4
Results: 12
Announcement.
- Published in:
- Studia Logica, 1991, v. 50, n. 3/4, p. 633, doi. 10.1007/BF00370688
- Publication type:
- Article
Review.
- Published in:
- 1991
- By:
- Publication type:
- Book Review
Axiomatizing logics closely related to varieties.
- Published in:
- Studia Logica, 1991, v. 50, n. 3/4, p. 607, doi. 10.1007/BF00370686
- By:
- Publication type:
- Article
Dynamic algebras: Examples, constructions, applications.
- Published in:
- Studia Logica, 1991, v. 50, n. 3/4, p. 571, doi. 10.1007/BF00370685
- By:
- Publication type:
- Article
Algebraization of quantifier logics, an introductory overview.
- Published in:
- Studia Logica, 1991, v. 50, n. 3/4, p. 485, doi. 10.1007/BF00370684
- By:
- Publication type:
- Article
Construction of monadic three-valued Łukasiewicz algebras.
- Published in:
- Studia Logica, 1991, v. 50, n. 3/4, p. 473, doi. 10.1007/BF00370683
- By:
- Publication type:
- Article
Amalgamation and interpolation in normal modal logics.
- Published in:
- Studia Logica, 1991, v. 50, n. 3/4, p. 457, doi. 10.1007/BF00370682
- By:
- Publication type:
- Article
The origin of relation algebras in the development and axiomatization of the calculus of relations.
- Published in:
- Studia Logica, 1991, v. 50, n. 3/4, p. 421, doi. 10.1007/BF00370681
- By:
- Publication type:
- Article
Algebraic logic for classical conjunction and disjunction.
- Published in:
- Studia Logica, 1991, v. 50, n. 3/4, p. 391, doi. 10.1007/BF00370680
- By:
- Publication type:
- Article
A deduction theorem schema for deductive systems of propositional logics.
- Published in:
- Studia Logica, 1991, v. 50, n. 3/4, p. 385, doi. 10.1007/BF00370679
- By:
- Publication type:
- Article
Complete and atomic algebras of the infinite valued Łukasiewicz logic.
- Published in:
- Studia Logica, 1991, v. 50, n. 3/4, p. 375, doi. 10.1007/BF00370678
- By:
- Publication type:
- Article
Introduction.
- Published in:
- 1991
- By:
- Publication type:
- Editorial