Logic Journal of the IGPL, Volume 15, 2007

Volume 15, Number 1, January 2007

• Romas Alonderis:
  Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic. 1-19
  
• Tarek Sayed Ahmed:
  An Interpolation Theorem for First Order Logic with Infinitary Predicates. 21-32
  
• Tarek Sayed Ahmed:
  On Neat Reducts and Amalgamation. 33-39
  
• Tarek Sayed Ahmed, Basim Samir:
  A Neat Embedding Theorem for Expansions of Cylindric Algebras. 41-51
  
• Valentin Goranko, Alberto Zanardo:
  From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability. 53-76
  
• David Fernández Duque:
  Dynamic Topological Completeness for R². 77-107
  
• Rodolfo C. Ertola, Adriana Galli, Marta Sagastume:
  Compatible Functions in Algebras Associated to Extensions of Positive Logic. 109-119
  

Volume 15, Number 2, March 2007

• Ariel Arbiser, Fairouz Kamareddine, Alejandro Ríos:
  The Weak Normalization of the Simply Typed lambda-s_e-calculus. 121-147
  
• Ryo Ishigaki, Kentaro Kikuchi:
  A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic. 149-164
  
• Lloyd Humberstone, Robert K. Meyer:
  The Relevant Equivalence Property. 165-181
  
• Miklós Ferenczi:
  On Cylindric Algebras Satisfying Merry-go-round Properties. 183-197
  

Volume 15, Number 3, June 2007

• Ernst Zimmermann:
  Substructural Logics in Natural Deduction. 211-232
  
• Andrea Iacona:
  Not Everything is Possible. 233-237
  
• Erica Calardo, Vladimir V. Rybakov:
  An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK. 239-254
  
• Ruaan Kellerman:
  First-Order Theories of Orthogonality Structures. 255-270
  
• Heinrich Wansing:
  A Note on Negation in Categorial Grammar. 271-286
  

Volume 15, Number 4, August 2007

• Hans P. van Ditmarsch, Mara Manzano:
  Editorial "Tools for Teaching Logic". 289-292
  
• Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Alexander J. Summers:
  Pandora: A Reasoning Toolbox using Natural Deduction Style. 293-304
  
• Ludmila Dostálová, Jaroslav Lang:
  ORGANON - The Web Tutor for Basic Logic Courses. 305-311
  
• Edmund Harriss, Wilfrid Hodges:
  Logic for Mathematical Writing. 313-320
  
• Antonia Huertas:
  Teaching and Learning Logic in a Virtual Learning Environment. 321-331
  
• Ekaterina Ovchinnikova, Frank Richter:
  Morph Moulder: Teaching Software for HPSG and Description Logics. 333-345
  
• Belén Pérez Lancho, Elena Jorge, Ana de la Viuda, Raquel Sanchez:
  Software Tools in Logic Education: Some Examples. 347-357
  
• Wilfried Sieg:
  The AProS Project: Strategic Thinking & Computational Logic. 359-368
  

Volume 15, Number 5-6, October/December 2007

• Jaime Alejandro Bohórquez:
  An Inductive Theorem on the Correctness of General Recursive Programs. 373-399
  
• Wagner Borges, Julio Michael Stern:
  The Rules of Logic Composition for the Bayesian Epistemic e-Values. 401-420
  
• Newton C. A. da Costa, Décio Krause:
  Logical and Philosophical Remarks on Quasi-Set Theory. 421-431
  
• Samuel G. Da Silva:
  Large Cardinals and Topology: a Short Retrospective and Some New Results. 433-443
  
• Francisco A. Doria:
  Fast-Growing Functions and the P vs. NP Question. 445-455
  
• Fernando Náufel do Amaral, Edward Hermann Haeusler:
  Using the Internal Logic of a Topos to Model Search Spaces for Problems. 457-474
  
• Víctor L. Fernández, Marcelo E. Coniglio:
  Fibring in the Leibniz Hierarchy. 475-501
  
• Francicleber Martins Ferreira, Ana Teresa C. Martins:
  On Minimal Models. 503-526
  
• Aldo Figallo Jr.:
  Pure Hilbert Algebras with Infimum. 527-533
  
• Aldo V. Figallo, Inés Pascual, Alicia Ziliani:
  Monadic Distributive Lattices. 535-551
  
• Marcelo Finger, Dov M. Gabbay:
  Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. 553-575
  
• Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrúcio Viana:
  On Positive Relational Calculi. 577-601
  
• Susana Gómez:
  Language and Logical Pluralism: Some Aspects of a Wittgensteinian Perspective on the Nature of Logic. 603-619
  
• Guillermo E. Rosado Haddock:
  Why and How Platonism? 621-636
  
• Lúcia R. Junqueira, Paul Larson, Marcelo D. Passos:
  On Extensions of Elementary Submodels by Forcing. 637-651
  
• Michal Krynicki, Jose Maria Turull Torres:
  Games on Trees and Syntactical Complexity of Formulas. 653-687
  
• E. G. K. López-Escobar:
  The Logic of Classes. 689-706
  
• Alfio Martini, Uwe Wolter, Edward Hermann Haeusler:
  Fibred and Indexed Categories for Abstract Model Theory. 707-739
  
• Cezar A. Mortari:
  Restricted Classical Modal Logics. 741-757
  
• Makmiller Martins Pedroso:
  Criteria of Identity and their Logical Form. 759-765
  
• Wagner de Campos Sanz:
  A Note on Gentzen's LJ and NJ Systems Isomorphism. 767-774
  
• Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso:
  Natural Deduction for "Generally". 775-800