Helena Rasiowa in memoriam.
- Published in:
- Studia Logica, 1996, v. 57, n. 2/3, p. 459, doi. 10.1007/BF00370845
- Publication type:
- Article
Works matching IS 00393215 AND DT 1996 AND VI 57 AND IP 2/3
Results: 12
1
2
Bounded contraction and Gentzen-style formulation of Łukasiewicz logics.
- Published in:
- Studia Logica, 1996, v. 57, n. 2/3, p. 437, doi. 10.1007/BF00370844
- By:
- Publication type:
- Article
3
Equivalential and algebraizable logics.
- Published in:
- Studia Logica, 1996, v. 57, n. 2/3, p. 419, doi. 10.1007/BF00370843
- By:
- Publication type:
- Article
4
Hyperalgebraic primitive elements for relational algebraic and topological algebraic models.
- Published in:
- Studia Logica, 1996, v. 57, n. 2/3, p. 409, doi. 10.1007/BF00370842
- By:
- Publication type:
- Article
5
On maximal intermediate predicate constructive logics.
- Published in:
- Studia Logica, 1996, v. 57, n. 2/3, p. 373, doi. 10.1007/BF00370841
- By:
- Publication type:
- Article
6
Cut-free tableau calculi for some propositional normal modal logics.
- Published in:
- Studia Logica, 1996, v. 57, n. 2/3, p. 359, doi. 10.1007/BF00370840
- By:
- Publication type:
- Article
7
Game logic and its applications I.
- Published in:
- Studia Logica, 1996, v. 57, n. 2/3, p. 325, doi. 10.1007/BF00370838
- By:
- Publication type:
- Article
8
A compactness theorem for linear equations.
- Published in:
- Studia Logica, 1996, v. 57, n. 2/3, p. 355, doi. 10.1007/BF00370839
- By:
- Publication type:
- Article
9
The finite model property for BCI and related systems.
- Published in:
- Studia Logica, 1996, v. 57, n. 2/3, p. 303, doi. 10.1007/BF00370837
- By:
- Publication type:
- Article
10
Axiomatising first-order temporal logic: Until and since over linear time.
- Published in:
- Studia Logica, 1996, v. 57, n. 2/3, p. 279, doi. 10.1007/BF00370836
- By:
- Publication type:
- Article
11
Definability of directly indecomposable congruence modular algebras.
- Published in:
- Studia Logica, 1996, v. 57, n. 2/3, p. 239, doi. 10.1007/BF00370834
- By:
- Publication type:
- Article
12
A modern elaboration of the ramified theory of types.
- Published in:
- Studia Logica, 1996, v. 57, n. 2/3, p. 243, doi. 10.1007/BF00370835
- By:
- Publication type:
- Article