Volume 42; Issue 4

Main
Studia Logica
Volume 42; Issue 4

Studia Logica

Volume 42; Issue 4

1

Izydora Dąmbska (1904–1983)

Jerzy Perzanowski

Journal:

Year:

1983

Language:

english

File:

PDF, 224 KB

english, 1983

2

On the axiomatization of finiteK-frames

Fabio Bellissima, Massimo Mirolli

Journal:

Year:

1983

Language:

english

File:

PDF, 410 KB

english, 1983

3

The theory of boolean algebras with an additional binary operation

Bronisław Tembrowski

Journal:

Year:

1983

Language:

english

File:

PDF, 1.25 MB

english, 1983

4

The representation of Takeuti's(egin{array}{*{20}c} parallel \ _ \ end{array} )-operator

Roger M. Cooke, Michiel Lambalgen

Journal:

Year:

1983

Language:

english

File:

PDF, 643 KB

english, 1983

5

Some theorems on structural entailment relations

Janusz Czelakowski

Journal:

Year:

1983

Language:

english

File:

PDF, 892 KB

english, 1983

6

Completeness theorems for some intermediate predicate calculi

Pierluigi Minari

Journal:

Year:

1983

Language:

english

File:

PDF, 726 KB

english, 1983

7

Condensed detachment as a rule of inference

Journal:

Year:

1983

Language:

english

File:

PDF, 747 KB

english, 1983

8

On some proof theoretical properties of the modal logic GL

Journal:

Year:

1983

Language:

english

File:

PDF, 408 KB

english, 1983

9

The Skolem-Löwenheim theorem in toposes

Marek Zawadowski

Journal:

Year:

1983

Language:

english

File:

PDF, 948 KB

english, 1983

10

Books received

Witold Marciszewski, Halina Mortimerowa, T. Grabińska, Jerzy Perzanowski, Grzegorz Malinowski

Journal:

Year:

1983

Language:

english

File:

PDF, 839 KB

english, 1983

11

Argumentation. Approaches to Theory Formationby E. M. Barth; J. L. Martens

Review by: Witold Marciszewski

Journal:

Year:

1983

Language:

english

File:

PDF, 456 KB

english, 1983

12

The Theory of Boolean Algebras with an Additional Binary Operation

Bronisław Tembrowski

Journal:

Year:

1983

Language:

english

File:

PDF, 2.28 MB

english, 1983

13

Condensed Detachment as a Rule of Inference

Journal:

Year:

1983

Language:

english

File:

PDF, 1.38 MB

english, 1983

14

Front Matter

Journal:

Year:

1983

Language:

english

File:

PDF, 182 KB

english, 1983

15

The Representation of Takeuti's ⫫-Operator

Roger M. Cooke and Michiel van Lambalgen

Journal:

Year:

1983

Language:

english

File:

PDF, 1.23 MB

english, 1983

16

Izydora Dąmbska (1904-1983)

Jerzy Perzanowski

Journal:

Year:

1983

Language:

english

File:

PDF, 584 KB

english, 1983

17

Eléménty Kombinatornoj Téorii Béskonéčnyh Množéstv (Introduction into the Combinatorial Theory of Infinite Sets)by A. B. Harazišvili;Aspects of Philosophical Logic. Some Logical Forays into Central Notions of Linguistics and Philosophyby U. Mönnich

Review by: Jerzy Perzanowski

Journal:

Year:

1983

Language:

english

File:

PDF, 496 KB

english, 1983

18

Nauka a porzqdek świata (Science and the Order of World)by Stefan Amsterdamski;Filosofia Della Logicaby Nicola Grana;The Theory of Indistinguishables. A Search for Explanatory Principles below the Level of Physicsby A. F. Parker-Rhodes

Review by: T. Grabińska

Journal:

Year:

1983

Language:

english

File:

PDF, 667 KB

english, 1983

19

On the Axiomatization of Finite K-Frames

Fabio Bellissima and Massimo Mirolli

Journal:

Year:

1983

Language:

english

File:

PDF, 791 KB

english, 1983

20

Back Matter

Journal:

Year:

1983

Language:

english

File:

PDF, 436 KB

english, 1983

21

Some Theorems on Structural Entailment Relations

Janusz Czelakowski

Journal:

Year:

1983

Language:

english

File:

PDF, 1.65 MB

english, 1983

22

Completeness Theorems for Some Intermediate Predicate Calculi

Pierluigi Minari

Journal:

Year:

1983

Language:

english

File:

PDF, 1.27 MB

english, 1983

23

The Skolem-Löwenheim Theorem in Toposes

Marek Zawadowski

Journal:

Year:

1983

Language:

english

File:

PDF, 1.70 MB

english, 1983

24

On Some Proof Theoretical Properties of the Modal Logic GL

Journal:

Year:

1983

Language:

english

File:

PDF, 787 KB

english, 1983

25

Wyklady Z Metodologii Nauk (Lectures on the Methodology of Sciences)by Ryszard Wójcicki;Logika voprosov i otvétov (The Logic of Questions and Answers)by Nuel D. Belnap; Thomas B. Steel; G. E. Kréjdlin;Henry E. Kyburg, Jr. and Isaac Leviby Radu J. Bogdan

Review by: Halina Mortimerowa

Journal:

Year:

1983

Language:

english

File:

PDF, 452 KB

english, 1983