Connecting you to content on EBSCOhost

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

Results: 6

1

L. T. F. Gamut, Logic, Language, and Information, Volume 1: Introduction to Logic; L. T. F. Gamut, Logic, Language, and Information, Volume 2: Intensional Logic and Logical Grammar.

Published in:: Studia Logica, 1999, v. 63, n. 2, p. 269, doi. 10.1023/A:1017281415528
Publication type:: Article

2

Definability of Leibniz Equality.

Published in:

Studia Logica, 1999, v. 63, n. 2, p. 223, doi. 10.1023/A:1005214714620

By:

Elgueta, R.;
Jansana, R.

Publication type:

Article

3

The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction.

Published in:

Studia Logica, 1999, v. 63, n. 2, p. 213, doi. 10.1023/A:1005262630549

By:

van Alten, C.;
Raftery, J.

Publication type:

Article

4

Substructural Implicational Logics Including the Relevant Logic E.

Published in:

Studia Logica, 1999, v. 63, n. 2, p. 181, doi. 10.1023/A:1005210613711

By:

Kashima, Ryo;
Kamide, Norihiro

Publication type:

Article

5

New Intuitionistic Logical Constants and Novikov Completeness.

Published in:

Studia Logica, 1999, v. 63, n. 2, p. 151, doi. 10.1023/A:1005258529641

By:

Yashin, Alexander

Publication type:

Article

6

Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel.

Published in:

Studia Logica, 1999, v. 63, n. 2, p. 245, doi. 10.1023/A:1005266731458

By:

Gentilini, Paolo

Publication type:

Article