Works matching IS 13670751 AND DT 2007 AND VI 15 AND IP 5/6

Results: 24

Criteria of Identity and their Logical Form.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 759, doi. 10.1093/jigpal/jzm047

By:

Pedroso, Makmiller Martins

Publication type:

Article

An Inductive Theorem on the Correctness of General Recursive Programs.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 373, doi. 10.1093/jigpal/jzm053

By:

Bohórquez, Jaime Alejandro

Publication type:

Article

Monadic Distributive Lattices.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 535, doi. 10.1093/jigpal/jzm039

By:

Figallo, Aldo V.;
Pascual, Inés;
Ziliani, Alicia

Publication type:

Article

Fibring in the Leibniz Hierarchy.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 475, doi. 10.1093/jigpal/jzm036

By:

Fernández, Víctor L.;
Coniglio, Marcelo E.

Publication type:

Article

A Note on Gentzen's LJ and NJ Systems Isomorphism.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 767, doi. 10.1093/jigpal/jzm048

By:

De Campos Sanz, Wagner

Publication type:

Article

Natural Deduction for ‘Generally’.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 775, doi. 10.1093/jigpal/jzm049

By:

Vana, Leonardo B.;
Veloso, Paulo A. S.;
Veloso, Sheila R. M.

Publication type:

Article

Acknowledgements.

Published in:: Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 801, doi. 10.1093/jigpal/jzm050
Publication type:: Article

On Positive Relational Calculi.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 577, doi. 10.1093/jigpal/jzm054

By:

de Freitas, Renata;
Veloso, Paulo A. S.;
Veloso, Sheila R. M.;
Viana, Petrucio

Publication type:

Article

Restricted Classical Modal Logics.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 741, doi. 10.1093/jigpal/jzm046

By:

Mortari, Cezar A.

Publication type:

Article

On Extensions of Elementary Submodels by Forcing*.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 637, doi. 10.1093/jigpal/jzm043

By:

Junqueira, Lúcia R.;
Larson, Paul;
Passos, Marcelo D.

Publication type:

Article

Foreword.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 371, doi. 10.1093/jigpal/jzm056

By:

Carnielli, Walter;
Krause, Décio

Publication type:

Article

Fast-Growing Functions and the P vs. NP Question.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 445, doi. 10.1093/jigpal/jzm034

By:

Doria, Francisco Antonio

Publication type:

Article

Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 553, doi. 10.1093/jigpal/jzm040

By:

Finger, Marcelo;
Gabbay, Dov

Publication type:

Article

Language and Logical Pluralism: Some Aspects of a Wittgensteinian Perspective on the Nature of Logic.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 603, doi. 10.1093/jigpal/jzm041

By:

Gómez, Susana

Publication type:

Article

Using the Internal Logic of a Topos to Model Search Spaces for Problems.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 457, doi. 10.1093/jigpal/jzm035

By:

do Amaral, Fernando Náufel;
Haeusler, Edward Hermann

Publication type:

Article

Why and How Platonism?

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 621, doi. 10.1093/jigpal/jzm042

By:

Haddock, Guillermo E. Rosado

Publication type:

Article

Fibred and Indexed Categories for Abstract Model Theory.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 707, doi. 10.1093/jigpal/jzm045

By:

Martini, Alfio;
Wolter, Uwe;
Haeusler, E. Hermann

Publication type:

Article

The Rules of Logic Composition for the Bayesian Epistemic e-Values.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 401, doi. 10.1093/jigpal/jzm032

By:

Borges, Wagner;
Stern, Julio Michael

Publication type:

Article

Pure Hilbert Algebras with Infimum.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 527, doi. 10.1093/jigpal/jzm038

By:

Figallo, Jr., Aldo

Publication type:

Article

The Logic of Classes.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 689, doi. 10.1093/jigpal/jzm044

By:

Lopez-Escobar, E. G. K.

Publication type:

Article

Logical and Philosophical Remarks on Quasi-Set Theory.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 421, doi. 10.1093/jigpal/jzm033

By:

Da Costa, Newton C. A.;
Krause, Décio

Publication type:

Article

Games on Trees and Syntactical Complexity of Formulas.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 653, doi. 10.1093/jigpal/jzm051

By:

Krynicki, Michał;
Torres, Jose Maria Turull

Publication type:

Article

On Minimal Models.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 503, doi. 10.1093/jigpal/jzm037

By:

Ferreira, Francicleber Martins;
Martins, Ana Teresa

Publication type:

Article

Large Cardinals and Topology: a Short Retrospective and Some New Results.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 5/6, p. 433, doi. 10.1093/jigpal/jzm052

By:

Da Silva, Samuel G.

Publication type:

Article