Volume 15, Issue 5-6, October 2007
Special Issue: Proceedings of the XIV Brazilian Logic Conference
Foreword
Foreword
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Page 371, https://doi.org/10.1093/jigpal/jzm056
Original Articles
An Inductive Theorem on the Correctness of General Recursive Programs
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 373–399, https://doi.org/10.1093/jigpal/jzm053
The Rules of Logic Composition for the Bayesian Epistemic e-Values
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 401–420, https://doi.org/10.1093/jigpal/jzm032
Logical and Philosophical Remarks on Quasi-Set Theory
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 421–431, https://doi.org/10.1093/jigpal/jzm033
Large Cardinals and Topology: a Short Retrospective and Some New Results
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 433–443, https://doi.org/10.1093/jigpal/jzm052
Fast-Growing Functions and the P vs. NP Question
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 445–455, https://doi.org/10.1093/jigpal/jzm034
Using the Internal Logic of a Topos to Model Search Spaces for Problems
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 457–474, https://doi.org/10.1093/jigpal/jzm035
Fibring in the Leibniz Hierarchy
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 475–501, https://doi.org/10.1093/jigpal/jzm036
On Minimal Models
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 503–526, https://doi.org/10.1093/jigpal/jzm037
Pure Hilbert Algebras with Infimum
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 527–533, https://doi.org/10.1093/jigpal/jzm038
Monadic Distributive Lattices
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 535–551, https://doi.org/10.1093/jigpal/jzm039
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 553–575, https://doi.org/10.1093/jigpal/jzm040
On Positive Relational Calculi
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 577–601, https://doi.org/10.1093/jigpal/jzm054
Language and Logical Pluralism: Some Aspects of a Wittgensteinian Perspective on the Nature of Logic
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 603–619, https://doi.org/10.1093/jigpal/jzm041
Why and How Platonism?
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 621–636, https://doi.org/10.1093/jigpal/jzm042
On Extensions of Elementary Submodels by Forcing
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 637–651, https://doi.org/10.1093/jigpal/jzm043
Games on Trees and Syntactical Complexity of Formulas
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 653–687, https://doi.org/10.1093/jigpal/jzm051
The Logic of Classes
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 689–706, https://doi.org/10.1093/jigpal/jzm044
Fibred and Indexed Categories for Abstract Model Theory
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 707–739, https://doi.org/10.1093/jigpal/jzm045
Restricted Classical Modal Logics
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 741–757, https://doi.org/10.1093/jigpal/jzm046
Criteria of Identity and their Logical Form
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 759–765, https://doi.org/10.1093/jigpal/jzm047
A Note on Gentzen's LJ and NJ Systems Isomorphism
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 767–774, https://doi.org/10.1093/jigpal/jzm048
Natural Deduction for ‘Generally’
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 775–800, https://doi.org/10.1093/jigpal/jzm049
Acknowledgements
Acknowledgements
Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Page 801, https://doi.org/10.1093/jigpal/jzm050
