Works matching IS 00393215 AND DT 1999 AND VI 62 AND IP 2

Results: 13

Preface.

Published in:

Studia Logica, 1999, v. 62, n. 2, p. 117, doi. 10.1023/A:1026442515466

By:

Dalla Chiara, Maria;
Mundici, Daniele

Publication type:

Article

Marginalia on Sequent Calculi.

Published in:

Studia Logica, 1999, v. 62, n. 2, p. 291, doi. 10.1023/A:1026413320413

By:

Troelstra, A.

Publication type:

Article

From Brouwerian Counter Examples to the Creating Subject.

Published in:

Studia Logica, 1999, v. 62, n. 2, p. 305, doi. 10.1023/A:1026411905257

By:

van Dalen, Dirk

Publication type:

Article

Monotone Majorizable Functionals.

Published in:

Studia Logica, 1999, v. 62, n. 2, p. 283, doi. 10.1023/A:1026459821186

By:

Schwichtenberg, Helmut

Publication type:

Article

Subdirectly Irreducible Modal Algebras and Initial Frames.

Published in:

Studia Logica, 1999, v. 62, n. 2, p. 269, doi. 10.1023/A:1026407804348

By:

Sambin, Giovanni

Publication type:

Article

Paradigms in Measure Theoretic Learning and in Informant Learning.

Published in:

Studia Logica, 1999, v. 62, n. 2, p. 243, doi. 10.1023/A:1026455720278

By:

Montagna, Franco;
Simi, Giulia

Publication type:

Article

Theories of Types and Names with Positive Stratified Comprehension.

Published in:

Studia Logica, 1999, v. 62, n. 2, p. 215, doi. 10.1023/A:1026403603439

By:

Minari, Pierluigi

Publication type:

Article

On the Elementarity of Some Classes of Abelian-by-Infinite Groups.

Published in:

Studia Logica, 1999, v. 62, n. 2, p. 201, doi. 10.1023/A:1026451519369

By:

Marcja, Annalisa;
Toffalori, Carlo

Publication type:

Article

Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of ♦-Formulae.

Published in:

Studia Logica, 1999, v. 62, n. 2, p. 177, doi. 10.1023/A:1026499402531

By:

Demri, Stéphane;
Orłowska, Ewa

Publication type:

Article

Bull's Theorem by the Method of Diagrams.

Published in:

Studia Logica, 1999, v. 62, n. 2, p. 163, doi. 10.1023/A:1026447418461

By:

Corsi, Giovanna

Publication type:

Article

Finite Trees in Tense Logic.

Published in:

Studia Logica, 1999, v. 62, n. 2, p. 121, doi. 10.1023/A:1026456817552

By:

Bellissima, Fabio;
Cittadini, Saverio

Publication type:

Article

Instructions for authors.

Published in:: Studia Logica, 1999, v. 62, n. 2, p. 315, doi. 10.1023/A:1017127321541
Publication type:: Article

Relating Quine's NF to Feferman's EM.

Published in:

Studia Logica, 1999, v. 62, n. 2, p. 141, doi. 10.1023/A:1026495301622

By:

Cantini, Andrea

Publication type:

Article