Works matching IS 13670751 AND DT 2004 AND VI 12 AND IP 6

Results: 14

Acknowledgements.

Published in:: Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 641, doi. 10.1093/jigpal/12.6.641
Publication type:: Article

Functional Interpretation of Logics for ‘Generally’.

Published in:

Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 627, doi. 10.1093/jigpal/12.6.627

By:

Veloso, Paulo A. S.;
Veloso, Sheila R. M.

Publication type:

Article

Natural Deduction and Weak Normalization for Full Linear Logic.

Published in:

Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 601, doi. 10.1093/jigpal/12.6.601

By:

Martins, Lilia Ramalho;
Martins, Ana Teresa

Publication type:

Article

Relating Intuitionist Negation and Triviality.

Published in:

Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 581, doi. 10.1093/jigpal/12.6.581

By:

Sanz, Wagner de Campos

Publication type:

Article

Contenability and the Logic of Consequential Implication.

Published in:

Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 561, doi. 10.1093/jigpal/12.6.561

By:

Pizzi, Claudio

Publication type:

Article

Chang's Ł* Logic.

Published in:

Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 485, doi. 10.1093/jigpal/12.6.485

By:

Lewin, Renato;
Sagastume, Marta;
Massey, Pedro

Publication type:

Article

Extending the First Gentzen's Consistency Proof to the Intuitionistic Case.

Published in:

Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 549, doi. 10.1093/jigpal/12.6.549

By:

Pallares, María Fernanda

Publication type:

Article

Finite Diagonal-free Two-dimensional Cylindric Algebras.

Published in:

Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 509, doi. 10.1093/jigpal/12.6.509

By:

Figallo, Martín

Publication type:

Article

Notes on n × m-valued Łukasiewicz Algebras with Negation.

Published in:

Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 499, doi. 10.1093/jigpal/12.6.499

By:

Sanza, Claudia

Publication type:

Article

MV*—Algebras.

Published in:

Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 461, doi. 10.1093/jigpal/12.6.461

By:

Lewin, Renato;
Sagastume, Marta;
Massey, Pedro

Publication type:

Article

An Omitting Types Theorem for Sheaves over Topological Spaces.

Published in:

Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 525, doi. 10.1093/jigpal/12.6.525

By:

Brunner, Andreas B. M.;
Miraglia, Francisco

Publication type:

Article

An Isomorphism Related to Gödel's Fundamental Operations.

Published in:

Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 439, doi. 10.1093/jigpal/12.6.439

By:

Smullyan, Raymond M.

Publication type:

Article

Editorial.

Published in:

Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 431, doi. 10.1093/jigpal/12.6.431

By:

Carnielli, Walter Alexandre;
Coniglio, Marcelo Esteban;
D'Ottaviano, Itala Maria Loffredo

Publication type:

Article

Ockham Algebras with Additional Operators.

Published in:

Logic Journal of the IGPL, 2004, v. 12, n. 6, p. 447, doi. 10.1093/jigpal/12.6.447

By:

Figallo, Aldo V.;
Landini, Paolo;
Zilliani, Alicia

Publication type:

Article