Skip Navigation

Receive this page by email each issue: [Sign up for eTOCs]

Cover Image
Other Issues:
Previous Next 		Contents: Volume 15, Number 5-6, October/December 2007   [Index by Author] 

Down Foreword
Down Original Articles
Down Acknowledgements

 
Special Issue: Proceedings of the XIV Brazilian Logic Conference

Guest Editors: Walter Carnielli and Décio Krause

[Search ALL Issues]

Table of Contents (PDF)

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.

Foreword Back

Foreword
Logic Journal of IGPL Advance Access published on September 26, 2007
Logic Jnl IGPL 2007 15: 371; doi:10.1093/jigpal/jzm056 [PDF] [Request Permissions]  

Original Articles Back

Jaime Alejandro Bohórquez
An Inductive Theorem on the Correctness of General Recursive Programs
Logic Journal of IGPL Advance Access published on September 26, 2007
Logic Jnl IGPL 2007 15: 373-399; doi:10.1093/jigpal/jzm053 [Abstract] [PDF] [References] [Request Permissions]  

Wagner Borges and Julio Michael Stern
The Rules of Logic Composition for the Bayesian Epistemic e-Values
Logic Jnl IGPL 2007 15: 401-420; doi:10.1093/jigpal/jzm032 [Abstract] [PDF] [References] [Request Permissions]  

Newton C. A. Da Costa and Décio Krause
Logical and Philosophical Remarks on Quasi-Set Theory
Logic Journal of IGPL Advance Access published on October 12, 2007
Logic Jnl IGPL 2007 15: 421-431; doi:10.1093/jigpal/jzm033 [Abstract] [PDF] [References] [Request Permissions]  

Samuel G. Da Silva
Large Cardinals and Topology: a Short Retrospective and Some New Results
Logic Journal of IGPL Advance Access published on September 24, 2007
Logic Jnl IGPL 2007 15: 433-443; doi:10.1093/jigpal/jzm052 [Abstract] [PDF] [References] [Request Permissions]  

Francisco Antonio Doria
Fast-Growing Functions and the P vs. NP Question
Logic Journal of IGPL Advance Access published on September 24, 2007
Logic Jnl IGPL 2007 15: 445-455; doi:10.1093/jigpal/jzm034 [Abstract] [PDF] [References] [Request Permissions]  

Fernando Náufel do Amaral and Edward Hermann Haeusler
Using the Internal Logic of a Topos to Model Search Spaces for Problems
Logic Journal of IGPL Advance Access published on September 26, 2007
Logic Jnl IGPL 2007 15: 457-474; doi:10.1093/jigpal/jzm035 [Abstract] [PDF] [References] [Request Permissions]  

Víctor L. Fernández and Marcelo E. Coniglio
Fibring in the Leibniz Hierarchy
Logic Journal of IGPL Advance Access published on September 26, 2007
Logic Jnl IGPL 2007 15: 475-501; doi:10.1093/jigpal/jzm036 [Abstract] [PDF] [References] [Request Permissions]  

Francicleber Martins Ferreira and Ana Teresa Martins
On Minimal Models
Logic Journal of IGPL Advance Access published on September 26, 2007
Logic Jnl IGPL 2007 15: 503-526; doi:10.1093/jigpal/jzm037 [Abstract] [PDF] [References] [Request Permissions]  

Aldo Figallo, Jr
Pure Hilbert Algebras with Infimum
Logic Journal of IGPL Advance Access published on September 25, 2007
Logic Jnl IGPL 2007 15: 527-533; doi:10.1093/jigpal/jzm038 [Abstract] [PDF] [References] [Request Permissions]  

Aldo V. Figallo, Inés Pascual, and Alicia Ziliani
Monadic Distributive Lattices
Logic Journal of IGPL Advance Access published on September 26, 2007
Logic Jnl IGPL 2007 15: 535-551; doi:10.1093/jigpal/jzm039 [Abstract] [PDF] [References] [Request Permissions]  

Marcelo Finger and Dov Gabbay
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs
Logic Journal of IGPL Advance Access published on October 17, 2007
Logic Jnl IGPL 2007 15: 553-575; doi:10.1093/jigpal/jzm040 [Abstract] [PDF] [References] [Request Permissions]  

Renata de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso, and Petrucio Viana
On Positive Relational Calculi
Logic Journal of IGPL Advance Access published on October 12, 2007
Logic Jnl IGPL 2007 15: 577-601; doi:10.1093/jigpal/jzm054 [Abstract] [PDF] [References] [Request Permissions]  

Susana Gómez
Language and Logical Pluralism: Some Aspects of a Wittgensteinian Perspective on the Nature of Logic
Logic Journal of IGPL Advance Access published on October 26, 2007
Logic Jnl IGPL 2007 15: 603-619; doi:10.1093/jigpal/jzm041 [Abstract] [PDF] [References] [Request Permissions]  

Guillermo E. Rosado Haddock
Why and How Platonism?
Logic Journal of IGPL Advance Access published on September 24, 2007
Logic Jnl IGPL 2007 15: 621-636; doi:10.1093/jigpal/jzm042 [Abstract] [PDF] [References] [Request Permissions]  

Lúcia R. Junqueira, Paul Larson, and Marcelo D. Passos
On Extensions of Elementary Submodels by Forcing
Logic Journal of IGPL Advance Access published on October 17, 2007
Logic Jnl IGPL 2007 15: 637-651; doi:10.1093/jigpal/jzm043 [Abstract] [PDF] [References] [Request Permissions]  

Michal Krynicki and Jose Maria Turull Torres
Games on Trees and Syntactical Complexity of Formulas
Logic Journal of IGPL Advance Access published on October 16, 2007
Logic Jnl IGPL 2007 15: 653-687; doi:10.1093/jigpal/jzm051 [Abstract] [PDF] [References] [Request Permissions]  

E. G. K. Lopez-Escobar
The Logic of Classes
Logic Journal of IGPL Advance Access published on September 24, 2007
Logic Jnl IGPL 2007 15: 689-706; doi:10.1093/jigpal/jzm044 [Abstract] [PDF] [References] [Request Permissions]  

Alfio Martini, Uwe Wolter, and E. Hermann Haeusler
Fibred and Indexed Categories for Abstract Model Theory
Logic Journal of IGPL Advance Access published on October 12, 2007
Logic Jnl IGPL 2007 15: 707-739; doi:10.1093/jigpal/jzm045 [Abstract] [PDF] [References] [Request Permissions]  

Cezar A. Mortari
Restricted Classical Modal Logics
Logic Journal of IGPL Advance Access published on October 12, 2007
Logic Jnl IGPL 2007 15: 741-757; doi:10.1093/jigpal/jzm046 [Abstract] [PDF] [References] [Request Permissions]  

Makmiller Martins Pedroso
Criteria of Identity and their Logical Form
Logic Journal of IGPL Advance Access published on September 25, 2007
Logic Jnl IGPL 2007 15: 759-765; doi:10.1093/jigpal/jzm047 [Abstract] [PDF] [References] [Request Permissions]  

Wagner De Campos Sanz
A Note on Gentzen's LJ and NJ Systems Isomorphism
Logic Journal of IGPL Advance Access published on October 12, 2007
Logic Jnl IGPL 2007 15: 767-774; doi:10.1093/jigpal/jzm048 [Abstract] [PDF] [References] [Request Permissions]  

Leonardo B. Vana, Paulo A. S. Veloso, and Sheila R. M. Veloso
Natural Deduction for ‘Generally’
Logic Journal of IGPL Advance Access published on October 12, 2007
Logic Jnl IGPL 2007 15: 775-800; doi:10.1093/jigpal/jzm049 [Abstract] [PDF] [References] [Request Permissions]  

Acknowledgements Back

Acknowledgements
Logic Jnl IGPL 2007 15: 801; doi:10.1093/jigpal/jzm050 [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.