Logic Journal of the IGPL, Volume 3, 1995

Volume 3, Number 1, March 1995

• Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz:
  Editorial. 4-6
  Electronic Edition (link) BibTeX
• Jon Barwise, Dov M. Gabbay, Chrysafis Hartonas:
  On the Logic of Information Flow. 7-50
  Electronic Edition (link) BibTeX
• Murat Ersan, Varol Akman:
  Situated Modeling of Epistemic Puzzles. 51-76
  Electronic Edition (link) BibTeX
• Robin Hirsch:
  Completely Representable Relation Algebras. 77-92
  Electronic Edition (link) BibTeX
• István Németi, Ildikó Sain, András Simon:
  Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators. 93-105
  Electronic Edition (link) BibTeX
• Howard C. Wasserman, Keitaro Yukawa, Zhizhang Shen:
  The Essential Inadequacy of Deduction in Logic Programming. 107-110
  Electronic Edition (link) BibTeX
• Karl Schlechta:
  Some Completeness Results for Propositional Conditional Logics. 111-115
  Electronic Edition (link) BibTeX

Volume 3, Number 2-3, June 1995

• Ruth Kempson:
  Deduction and Language. 160-166
  Electronic Edition (link) BibTeX
• Natasha Alechina, Michiel van Lambalgen:
  Correspondence and Completeness for Generalized Quantifiers. 167-190
  Electronic Edition (link) BibTeX
• Jaap van der Does:
  Cut Might Cautiously. 191-202
  Electronic Edition (link) BibTeX
• Shalom Lappin:
  Generalized Quantifiers, Exception Phrases, and Logicality. 203-222
  Electronic Edition (link) BibTeX
• Wilfried Meyer-Viol:
  A Proof-theoretic Treatment of Assignments. 223-242
  Electronic Edition (link) BibTeX
• Ruy J. G. B. de Queiroz, Dov M. Gabbay:
  The Functional Interpretation of the Existential Quantifier. 243-290
  Electronic Edition (link) BibTeX
• Fairouz Kamareddine:
  Important Issues in Foundational Formalisms. 291-317
  Electronic Edition (link) BibTeX
• Aarne Ranta:
  Type-Theoretical Interpretation and Generalization of Phrase Structure Grammar. 319-342
  Electronic Edition (link) BibTeX
• Mark Hepple:
  Hybrid Categorial Logics. 343-355
  Electronic Edition (link) BibTeX
• Natasha Kurtonina:
  Talking about Explicit Databases in Categorial Grammar. 357-370
  Electronic Edition (link) BibTeX
• Michael Moortgat:
  Multimodal Linguistic Inference. 371-401
  Electronic Edition (link) BibTeX
• Glyn Morrill:
  Clausal Proofs and Discontinuity. 403-427
  Electronic Edition (link) BibTeX
• Dick Oehrle:
  Some 3-Dimensional Systems of Labelled Deduction. 429-448
  Electronic Edition (link) BibTeX
• Francis Corblin:
  Compositionality and Complexity in Multiple Negation. 449-471
  Electronic Edition (link) BibTeX
• Uwe Reyle:
  Underspecified Discourse Representation Structures and their Logic. 473-488
  Electronic Edition (link) BibTeX
• Ruth Kempson:
  Ellipsis in a Labelled Deduction System. 489-526
  Electronic Edition (link) BibTeX

Volume 3, Number 4, July 1995

• Ruy J. G. B. de Queiroz:
  Editorial. 532-533
  Electronic Edition (link) BibTeX
• Krister Segerberg:
  Belief Revision From the Point of View of Doxastic Logic. 535-553
  Electronic Edition (link) BibTeX
• Mike Calcagno:
  A Sign-Based Extension to the Lambek Calculus for Discontinuous Constituency. 555-578
  Electronic Edition (link) BibTeX
• Claudia Meré María, Paulo A. S. Veloso:
  Definition-like Extensions by Sorts. 579-595
  Electronic Edition (link) BibTeX
• Newton C. A. da Costa, Jean-Yves Béziau, Otávio A. S. Bueno:
  Aspects of Paraconsistent Logic. 597-614
  Electronic Edition (link) BibTeX
• María Victoria Cengarle, Martin Wirsing:
  A Calculus of Higher-Order Parameterization for Algebraic Specifications. 615-641
  Electronic Edition (link) BibTeX
• Martin C. Henson:
  On the Proof Theory of Program Transformations. 643-671
  Electronic Edition (link) BibTeX

Volume 3, Number 5, August 1995

• Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz:
  The Bulletin turned into a Journal. 682
  Electronic Edition (link) BibTeX
• Mati Pentus:
  IGPL/FoLLI Prize. 682-683
  Electronic Edition (link) BibTeX
• Hajnal Andréka, Johan van Benthem, István Németi:
  Back and Forth Between Modal Logic and Classical Logic. 685-720
  Electronic Edition (link) BibTeX
• Branislav R. Boricic:
  A Note on Probabilistic Validity Measure in Propositional Calculi. 721-724
  Electronic Edition (link) BibTeX
• Nissim Francez:
  Contrastive Logic. 725-744
  Electronic Edition (link) BibTeX
• Inmaculada Perez de Guzmán, Carlos Rossi:
  LNint: A Temporal Logic that Combines Points and Intervals and the Absolute and Relative Approaches. 745-764
  Electronic Edition (link) BibTeX
• Renwei Li, José Carmo:
  On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations. 765-790
  Electronic Edition (link) BibTeX
• Viktor Gyuris:
  A Short Proof of Representability of Fork Algebras. 791-796
  Electronic Edition (link) BibTeX
• Heinrich Wansing:
  Strong Cut-Elimination for Constant Domain First-Order S5. 797-810
  Electronic Edition (link) BibTeX

Volume 3, Number 6, October 1995

• Krysia Broda, Marcello D'Agostino, Rajeev Goré, Rob Johnson, Steve Reeves:
  Editorial. 826
  Electronic Edition (link) BibTeX
• Jean Goubault:
  A BDD-Based Simplification and Skolemization Procedure. 827-855
  Electronic Edition (link) BibTeX
• Stefan Brüning:
  Exploiting Equivalences in Connection Calculi. 857-886
  Electronic Edition (link) BibTeX
• Christoph Weidenbach:
  First-Order Tableaux with Sorts. 887-906
  Electronic Edition (link) BibTeX
• Marta Cialdea Mayer, Fiora Pirri:
  Propositional Abduction in Modal Logic. 907-919
  Electronic Edition (link) BibTeX
• Kevin Wallace, Graham Wrightson:
  Regressive Merging in Model Elimination Tableau-Based Theorem Provers. 921-937
  Electronic Edition (link) BibTeX
• Marco Mondadori:
  Efficient Inverse Tableaux. 939-953
  Electronic Edition (link) BibTeX