Logic Journal of the IGPL, Volume 6, 1998

Volume 6, Number 1, January 1998

Editorial. 1-2
Electronic Edition (link) BibTeX
István Németi, Gábor Sági:
On the Equational Theory of Representable Polyadic Equality Algebras. 3-15
Electronic Edition (link) BibTeX
Christian G. Fermüller, Alexander Leitsch:
Decision Procedures and Model Building in Equational Clause Logic. 17-41
Electronic Edition (link) BibTeX
Arnon Avron:
Formulas for which Contraction is Admissible. 43-48
Electronic Edition (link) BibTeX
Daniel J. Lehmann:
Stereotypical Reasoning: Logical Properties. 49-58
Electronic Edition (link) BibTeX
Edward A. Hirsch:
A Fast Deterministic Algorithm for Formulas That Have Many Satisfying Assignments. 59-71
Electronic Edition (link) BibTeX
Dov M. Gabbay, Valentin B. Shehtman:
Products of Modal Logics, Part 1. 73-146
Electronic Edition (link) BibTeX

Volume 6, Number 2, March 1998

Marcelo F. Frias, Armando Martin Haeberer:
Editorial. 151-156
Electronic Edition (link) BibTeX
Burghard von Karger, Rudolf Berghammer:
A Relational Model for Temporal Logic. 157-173
Electronic Edition (link) BibTeX
Michael Böttner:
A Collective Extension of Relational Grammar. 175-193
Electronic Edition (link) BibTeX
Henk Doornbos, Burghard von Karger:
On the Union of Well-Founded Relations. 195-201
Electronic Edition (link) BibTeX
Juan Eduardo Durán:
Some Classes Containing a Fork Algebra Equivalent Variety Involving Projections. 203-226
Electronic Edition (link) BibTeX
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer:
Representability and Program Construction within Fork Algebras. 227-257
Electronic Edition (link) BibTeX
Wolfram Kahl:
Relational Treatment of Term Graphs With Bound Variables. 259-303
Electronic Edition (link) BibTeX
Szabolcs Mikulás:
Taming First-Order Logic. 305-316
Electronic Edition (link) BibTeX
Marc Frappier, Ali Mili, Jules Desharnais:
Unifying Program Construction and Modification. 317-340
Electronic Edition (link) BibTeX
Jaques Riguet:
Deducibility and Exactness. 341-347
Electronic Edition (link) BibTeX
Gheorghe Stefanescu:
Reaction and Control I. Mixing Additive and Multiplicative Network Algebras. 348-369
Electronic Edition (link) BibTeX

Volume 6, Number 3, May 1998

Heinrich Wansing:
Editorial. 377-381
Electronic Edition (link) BibTeX
Giulia Battilotti:
Embedding Classical Logic into Basic Orthologic with a Primitive Modality. 383-402
Electronic Edition (link) BibTeX
Katalin Bimbó, J. Michael Dunn:
Two Extensions of the Structurally Free Logic LC*. 403-424
Electronic Edition (link) BibTeX
Marcelo Finger:
Towards Structurally-Free Theorem Proving. 425-449
Electronic Edition (link) BibTeX
Rajeev Goré:
Substructural Logics on Display. 451-504
Electronic Edition (link) BibTeX
Andrzej Indrzejczak:
Cut-free Double Sequent Calculus for S5. 505-516
Electronic Edition (link) BibTeX

Volume 6, Number 4, July 1998

Editorial.
Electronic Edition (link) BibTeX
Pablo E. Martínez López, Gabriel A. Baum:
Fork Algebraic Datatypes. 531-543
Electronic Edition (link) BibTeX
Francisco Miraglia, Ugo Solitro:
Sheaves over Right Sided Idempotent Quantales. 545-600
Electronic Edition (link) BibTeX
Moshe Y. Vardi:
Computational Model Theory: An Overview. 601-623
Electronic Edition (link) BibTeX
Patrick Blackburn, Miroslava Tzakova:
Hybrid Completeness. 625-650
Electronic Edition (link) BibTeX
Peter A. Flach, Antonis C. Kakas:
Abduction and Induction in AI: Report of the IJCAI'97 Workshop. 651-656
Electronic Edition (link) BibTeX
Ruy J. G. B. de Queiroz, Kátia Silva Guimaraes:
Conference Report: Logic, Proofs and Algorithms. 656-657
Electronic Edition (link) BibTeX
Ruy J. G. B. de Queiroz:
Conference Report: Logic in Natural Language. 657-658
Electronic Edition (link) BibTeX
Ruy J. G. B. de Queiroz:
Conference Report: Logic for Concurrency and Synchronisation (LOCUS). 659-663
Electronic Edition (link) BibTeX

Volume 6, Number 5, September 1998

Editorial.
Electronic Edition (link) BibTeX
Arnon Avron:
Two Types of Multiple-Conclusion Systems. 695-717
Electronic Edition (link) BibTeX
Rajeev Goré:
Gaggles, Gentzen and Galois: How to display your favourite substructural logic. 669-694
Electronic Edition (link) BibTeX
Stefano Guerrini, Simone Martini, Andrea Masini:
An Analysis of (Linear) Exponentials Based on Extended Sequents. 735-753
Electronic Edition (link) BibTeX
Beata Konikowska, Charles G. Morgan, Ewa Orlowska:
A Relational Formalisation of Arbitrary Finite Valued Logics. 755-774
Electronic Edition (link) BibTeX
Aida Pliuskeviciene:
Extended Disjunction and Existence Properties for Some Predicate Modal Logics. 775-787
Electronic Edition (link) BibTeX
Heinrich Wansing:
Translation of Hypersequents into Display Sequents. 719-733
Electronic Edition (link) BibTeX

Volume 6, Number 6, November 1998

Ruy de Queiroz, Marcelo Finger (Eds.): 5th Workshop on Logic, Language, Information and Computation, International Conference, WoLLIC 1998, Sao Paulo, SP, Brazil, July 28 - 31, 1998, Abstracts.

Guilherme Bittencourt:
Concurrent Inference through Dual Transformation. 795-833
Electronic Edition (link) BibTeX
Eduardo L. Fermé, Ricardo Oscar Rodríguez:
A Brief Note About Rott Contraction. 835-842
Electronic Edition (link) BibTeX
Fairouz Kamareddine, Alejandro Ríos:
Bridging de Bruijn Indices and Variable Names in Explicit Substitutions Calculi. 843-874
Electronic Edition (link) BibTeX
Andreas Nonnengart:
Modal Frame Characterization by Way of Auxiliary Modalities. 875-899
Electronic Edition (link) BibTeX
Athanassios Tzouvaras:
The Linear Logic of Multisets. 901-916
Electronic Edition (link) BibTeX
Ruy J. G. B. de Queiroz, Marcelo Finger:
Conference Report: Wollic'98. 917-918
Electronic Edition (link) BibTeX