Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Volume 64; Issue 1

Main
Studia Logica
Volume 64; Issue 1

Studia Logica

Volume 64; Issue 1

1

The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations

Heinrich Wansing

Journal:

Année:

2000

Fichier:

PDF, 603 KB

2000

2

Completeness Theorems via the Double Dual Functor

Adriana Galli, Marta Sagastume, Gonzalo E. Reyes

Journal:

Année:

2000

Fichier:

PDF, 631 KB

2000

3

On Categorical Equivalences of Commutative BCK-algebras

Anatolij Dvurečenskij

Journal:

Année:

2000

Fichier:

PDF, 523 KB

2000

4

Extending Standard Models of ZFC to Models of Nonstandard Set Theories

Vladimir Kanovei, Michael Reeken

Journal:

Année:

2000

Fichier:

PDF, 755 KB

2000

5

Priestley Duality for Quasi-Stone Algebras

Hernando Gaitán

Journal:

Année:

2000

Fichier:

PDF, 283 KB

2000

6

Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I

Viorica Sofronie-Stokkermans

Journal:

Année:

2000

Fichier:

PDF, 1.32 MB

2000

7

Book Reviews

Journal:

Année:

2000

Fichier:

PDF, 704 KB

2000

8

The Resolution Calculusby Alexander Leitsch

Review by: Koji Tanaka

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 241 KB

english, 2000

9

A Shorter Model Theoryby Wilfrid Hodges

Review by: Carol Wood

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 364 KB

english, 2000

10

Logic for Applicationsby Anil Nerode; Richard A. Shore

Review by: Roderic A. Girle

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 495 KB

english, 2000

11

On Categorical Equivalences of Commutative BCK-Algebras

Anatolij Dvurečenskij

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 1.66 MB

english, 2000

12

Axiomatic Formal Ontologyby Uwe Meixner

Review by: E. J. Lowe

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 676 KB

english, 2000

13

The Classical Decision Problemby Egon Börger; Erich Grädel; Yuri Gurevich

Review by: Steven D. Leonhardi

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 655 KB

english, 2000

14

Philosophical Logic and Logical Philosophyby P. I. Bystrov; V. N. Sadovsky

Review by: Eugene Lednikov

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 518 KB

english, 2000

15

Front Matter

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 517 KB

english, 2000

16

Extending Standard Models of ZFC to Models of Nonstandard Set Theories

Vladimir Kanovei and Michael Reeken

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 2.40 MB

english, 2000

17

The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations

Heinrich Wansing

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 1.88 MB

english, 2000

18

Back Matter

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 267 KB

english, 2000

19

Priestley Duality for Quasi-Stone Algebras

Hernando Gaitán

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 990 KB

english, 2000

20

Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Lawby Henry Prakken

Review by: Trevor Beuch-Capon

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 632 KB

english, 2000

21

The Philosophy of Mathematics Todayby M. Schirn

Review by: Graham Priest

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 229 KB

english, 2000

22

Completeness Theorems via the Double Dual Functor

Adriana Galli, Gonzalo E. Reyes and Marta Sagastume

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 1.99 MB

english, 2000

23

Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I

Viorica Sofronie-Stokkermans

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 4.13 MB

english, 2000