Volume 15; Issue 5-6

Logic Journal of IGPL

Volume 15; Issue 5-6
1

Logical and Philosophical Remarks on Quasi-Set Theory

Da Costa, N. C. A., Krause, D.
Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 118 KB
english, 2007
2

On Positive Relational Calculi

de Freitas, R., Veloso, P. A.S., Veloso, S. R.M., Viana, P.
Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 195 KB
english, 2007
3

Why and How Platonism?

Rosado Haddock, G. E.
Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 134 KB
english, 2007
4

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

do Amaral, F. N., Haeusler, E. H.
Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 213 KB
english, 2007
5

Fibred and Indexed Categories for Abstract Model Theory

Martini, A., Wolter, U., Haeusler, E. H.
Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 356 KB
english, 2007
6

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

Finger, M., Gabbay, D.
Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 265 KB
english, 2007
7

Fibring in the Leibniz Hierarchy

Fernandez, V. L., Coniglio, M. E.
Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 282 KB
english, 2007
8

An Inductive Theorem on the Correctness of General Recursive Programs

Bohorquez, J. A.
Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 232 KB
english, 2007
9

A Note on Gentzen's LJ and NJ Systems Isomorphism

De Campos Sanz, W.
Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 93 KB
english, 2007
10

Restricted Classical Modal Logics

Mortari, C. A.
Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 181 KB
english, 2007
11

Natural Deduction for 'Generally'

Vana, L. B., Veloso, P. A. S., Veloso, S. R. M.
Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 201 KB
english, 2007
12

The Logic of Classes

Lopez-Escobar, E. G. K.
Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 181 KB
english, 2007
13

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

Da Silva, S. G.
Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 123 KB
english, 2007
14

Criteria of Identity and their Logical Form

Pedroso, M. M.
Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 83 KB
english, 2007
15

Monadic Distributive Lattices

Figallo, A. V., Pascual, I., Ziliani, A.
Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 182 KB
english, 2007
16

On Extensions of Elementary Submodels by Forcing

Junqueira, L. R., Larson, P., Passos, M. D.
Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 182 KB
english, 2007
17

Pure Hilbert Algebras with Infimum

Figallo, A.
Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 98 KB
english, 2007
18

On Minimal Models

Ferreira, F. M., Martins, A. T.
Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 252 KB
english, 2007
19

Foreword

Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 27 KB
english, 2007
20

Acknowledgements

Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 19 KB
english, 2007
21

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

Borges, W., Stern, J. M.
Journal:
Logic Journal of IGPL
Year:
2007
Language:
english
File:
PDF, 199 KB
english, 2007