Aristotelian syllogisms and generalized quantifiers.
- Published in:
- Studia Logica, 1989, v. 48, n. 4, p. 577, doi. 10.1007/BF00370209
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 1989 AND VI 48 AND IP 4
Results: 18
1
2
Announcement.
- Published in:
- Studia Logica, 1989, v. 48, n. 4, p. II, doi. 10.1007/BF00370213
- Publication type:
- Article
3
Pre-Announcement International Symposium on 'structures in mathematical theories'.
- Published in:
- Studia Logica, 1989, v. 48, n. 4, p. I, doi. 10.1007/BF00370212
- Publication type:
- Article
4
On comparison of theories by their contents.
- Published in:
- Studia Logica, 1989, v. 48, n. 4, p. 617, doi. 10.1007/BF00370211
- By:
- Publication type:
- Article
5
On the eliminatibility of ideal linguistic entities.
- Published in:
- Studia Logica, 1989, v. 48, n. 4, p. 587, doi. 10.1007/BF00370210
- By:
- Publication type:
- Article
6
Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety.
- Published in:
- Studia Logica, 1989, v. 48, n. 4, p. 565, doi. 10.1007/BF00370208
- By:
- Publication type:
- Article
7
B-varieties with normal free algebras.
- Published in:
- Studia Logica, 1989, v. 48, n. 4, p. 555, doi. 10.1007/BF00370207
- By:
- Publication type:
- Article
8
Tree proofs for syllogistic.
- Published in:
- Studia Logica, 1989, v. 48, n. 4, p. 539, doi. 10.1007/BF00370206
- By:
- Publication type:
- Article
9
A calculus for the common rules of ∧ and ∨.
- Published in:
- Studia Logica, 1989, v. 48, n. 4, p. 531, doi. 10.1007/BF00370205
- By:
- Publication type:
- Article
10
Plain Semi-Post algebras as a poset-based generalization of post algebras and their representability.
- Published in:
- Studia Logica, 1989, v. 48, n. 4, p. 509, doi. 10.1007/BF00370204
- By:
- Publication type:
- Article
11
Definability theorems in normal extensions of the probability logic.
- Published in:
- Studia Logica, 1989, v. 48, n. 4, p. 495, doi. 10.1007/BF00370203
- By:
- Publication type:
- Article
12
Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term.
- Published in:
- Studia Logica, 1989, v. 48, n. 4, p. 479, doi. 10.1007/BF00370202
- By:
- Publication type:
- Article
13
Characterization of prime numbers in Łukasiewicz's logical matrix.
- Published in:
- Studia Logica, 1989, v. 48, n. 4, p. 465, doi. 10.1007/BF00370201
- By:
- Publication type:
- Article
14
A Note on Matrices for Systems of nonsense-logics.
- Published in:
- Studia Logica, 1989, v. 48, n. 4, p. 461, doi. 10.1007/BF00370200
- By:
- Publication type:
- Article
15
The method of axiomatic rejection for the intuitionistic propositional logic.
- Published in:
- Studia Logica, 1989, v. 48, n. 4, p. 449, doi. 10.1007/BF00370199
- By:
- Publication type:
- Article
16
On axiomatization of many-valued logics associated with formalization of plausible reasonings.
- Published in:
- Studia Logica, 1989, v. 48, n. 4, p. 423, doi. 10.1007/BF00370198
- By:
- Publication type:
- Article
17
A bibliography of the published work of Jerzy Słupecki.
- Published in:
- Studia Logica, 1989, v. 48, n. 4, p. 413, doi. 10.1007/BF00370197
- By:
- Publication type:
- Article
18
Jerzy Słupecki (1904-1987): Life and work.
- Published in:
- Studia Logica, 1989, v. 48, n. 4, p. 401, doi. 10.1007/BF00370196
- By:
- Publication type:
- Article