Logic Journal of the IGPL, Volume 12, 2004

Volume 12, Number 1, January 2004

• Claus-Peter Wirth:
  Descente Infinie + Deduction. 1-96
  Electronic Edition (link) BibTeX

Volume 12, Number 2, March 2004

• Peter Bruza, Dawei Song, Robert McArthur:
  Abduction in Semantic Space: Towards a Logic of Discovery. 97-109
  Electronic Edition (link) BibTeX
• Marcel Crabbé:
  On the Notion of Substitution. 111-124
  Electronic Edition (link) BibTeX
• Alexander Moshe Rabinovich:
  Selection and Uniformization in Generalized Product. 125-134
  Electronic Edition (link) BibTeX
• Chris Fox, Shalom Lappin:
  An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics. 135-168
  Electronic Edition (link) BibTeX

Volume 12, Number 3, May 2004

• Massoud Pourmahdian:
  The Stable Forking Conjecture in Homogeneous Model Theory. 171-180
  Electronic Edition (link) BibTeX
• Bernhard Heinemann:
  The Hybrid Logic of Linear Set Spaces. 181-198
  Electronic Edition (link) BibTeX
• Stefano Baratella, Andrea Masini:
  A Way of Making World Quantification Explicit. 199-225
  Electronic Edition (link) BibTeX
• Paulo Mateus, Amílcar Sernadas, Cristina Sernadas, Luca Viganò:
  Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity. 227-274
  Electronic Edition (link) BibTeX

Volume 12, Number 4, July 2004

• C. F. M. Vermeulen:
  Axiomatization of a Denotational Semantics for First-order Logic. 277-299
  Electronic Edition (link) BibTeX
• Vladimir V. Rybakov:
  Tabular Logics with no Finite Bases for Inference Rules. 301-311
  Electronic Edition (link) BibTeX
• George Voutsadakis:
  Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic. 313-333
  Electronic Edition (link) BibTeX

Volume 12, Number 5, September 2004

• Jeff B. Paris:
  Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for ^etatriangel right_eta. 345-353
  Electronic Edition (link) BibTeX
• Eunsuk Yang:
  Routely-Meyer Semantics for some weak Boolean Logics, and some Translations. 355-369
  Electronic Edition (link) BibTeX
• Oliver Ray, Krysia Broda, Alessandra Russo:
  A Hybrid Abductive Inductive Proof Procedure. 371-397
  Electronic Edition (link) BibTeX
• Jan Wolenski:
  Polish Logic. 399-428
  Electronic Edition (link) BibTeX

Volume 12, Number 6, November 2004

• Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano:
  Editorial. 431-437
  Electronic Edition (link) BibTeX
• Raymond M. Smullyan:
  An Isomorphism Related to Gödel's Fundamental Operations. 439-445
  Electronic Edition (link) BibTeX
• Aldo V. Figallo, Paolo Landini, Alicia Ziliani:
  Ockham Algebras with Additional Operators. 447-459
  Electronic Edition (link) BibTeX
• Renato A. Lewin, Marta Sagastume, Pedro Massey:
  MV^* - Algebras. 461-483
  Electronic Edition (link) BibTeX
• Renato A. Lewin, Marta Sagastume, Pedro Massey:
  Chang's L(stroke)^* Logic. 485-497
  Electronic Edition (link) BibTeX
• Claudia Sanza:
  Notes on n x m-valued Lukasiewicz Algebras with Negation. 499-507
  Electronic Edition (link) BibTeX
• Martín Figallo:
  Finite Diagonal-free Two-dimensional Cylindric Algebras. 509-523
  Electronic Edition (link) BibTeX
• Andreas B. M. Brunner, Francisco Miraglia:
  An Omitting Types Theorem for Sheaves over Topological Spaces. 525-548
  Electronic Edition (link) BibTeX
• María Fernanda Pallares:
  Extending the First Gentzen's Consistency Proof to the Intuitionistic Case. 549-560
  Electronic Edition (link) BibTeX
• Claudio Pizzi:
  Contenability and the Logic of Consequential Implication. 561-579
  Electronic Edition (link) BibTeX
• Wagner de Campos Sanz:
  Relating Intuitionist Negation and Triviality. 581-599
  Electronic Edition (link) BibTeX
• Lília Ramalho Martins, Ana Teresa C. Martins:
  Natural Deduction and Weak Normalization for Full Linear Logic. 601-625
  Electronic Edition (link) BibTeX
• Paulo A. S. Veloso, Sheila R. M. Veloso:
  Functional Interpretation of Logics for 'Generally'. 627-640
  Electronic Edition (link) BibTeX