Works matching IS 00393215 AND DT 2000 AND VI 65 AND IP 3

Results: 8

Book Reviews.

Published in:: 2000
Publication type:: Book Review

On Self-Admissible Quasi-Characterizing Inference Rules.

Published in:

Studia Logica, 2000, v. 65, n. 3, p. 417, doi. 10.1023/A:1005244015730

By:

Rybakov, V.;
Terziler, M.;
Gencer, C.

Publication type:

Article

On an Intuitionistic Modal Logic.

Published in:

Studia Logica, 2000, v. 65, n. 3, p. 383, doi. 10.1023/A:1005291931660

By:

Bierman, G.;
de Paiva, V.

Publication type:

Article

A Complete and Consistent Formal System for Sortals.

Published in:

Studia Logica, 2000, v. 65, n. 3, p. 367, doi. 10.1023/A:1005239914821

By:

Freund, Max

Publication type:

Article

A Common Abstraction of MV-Algebras and Abelian l-groups.

Published in:

Studia Logica, 2000, v. 65, n. 3, p. 355, doi. 10.1023/A:1005287830751

By:

Paoli, Francesco

Publication type:

Article

The Incompleteness of RGL.

Published in:

Studia Logica, 2000, v. 65, n. 3, p. 315, doi. 10.1023/A:1005283629842

By:

Mares, Edwin

Publication type:

Article

Jerzy Łoś 1920–1998; Elements of Biography.

Published in:

Studia Logica, 2000, v. 65, n. 3, p. 301, doi. 10.1023/A:1005253713004

By:

Balcerzyk, Stanisław;
Bartol, Wiktor;
Orłowska, Ewa;
Wieczorek, Andrzej;
Wojciechowska-Waszkiewicz, Agnieszka

Publication type:

Article

On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I.

Published in:

Studia Logica, 2000, v. 65, n. 3, p. 323, doi. 10.1023/A:1005235713913

By:

Demri, Stéphane;
Gabbay, Dov

Publication type:

Article