default search action
Logic Journal of the IGPL, Volume 6, 1998
Volume 6, Number 1, January 1998
- Editorial. 1-2
- István Németi, Gábor Sági:
On the Equational Theory of Representable Polyadic Equality Algebras. 3-15 - Christian G. Fermüller, Alexander Leitsch:
Decision Procedures and Model Building in Equational Clause Logic. 17-41 - Arnon Avron:
Formulas for which Contraction is Admissible. 43-48 - Daniel J. Lehmann:
Stereotypical Reasoning: Logical Properties. 49-58 - Edward A. Hirsch:
A Fast Deterministic Algorithm for Formulas That Have Many Satisfying Assignments. 59-71 - Dov M. Gabbay, Valentin B. Shehtman:
Products of Modal Logics, Part 1. 73-146
Volume 6, Number 2, March 1998
- Marcelo F. Frias, Armando Martin Haeberer:
Editorial. 151-156 - Burghard von Karger, Rudolf Berghammer:
A Relational Model for Temporal Logic. 157-173 - Michael Böttner:
A Collective Extension of Relational Grammar. 175-193 - Henk Doornbos, Burghard von Karger:
On the Union of Well-Founded Relations. 195-201 - Juan Eduardo Durán:
Some Classes Containing a Fork Algebra Equivalent Variety Involving Projections. 203-226 - Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer:
Representability and Program Construction within Fork Algebras. 227-257 - Wolfram Kahl:
Relational Treatment of Term Graphs With Bound Variables. 259-303 - Szabolcs Mikulás:
Taming First-Order Logic. 305-316 - Marc Frappier, Ali Mili, Jules Desharnais:
Unifying Program Construction and Modification. 317-340 - Jaques Riguet:
Deducibility and Exactness. 341-347 - Gheorghe Stefanescu:
Reaction and Control I. Mixing Additive and Multiplicative Network Algebras. 348-369
Volume 6, Number 3, May 1998
- Heinrich Wansing
:
Editorial. 377-381 - Giulia Battilotti:
Embedding Classical Logic into Basic Orthologic with a Primitive Modality. 383-402 - Katalin Bimbó, J. Michael Dunn:
Two Extensions of the Structurally Free Logic LC*. 403-424 - Marcelo Finger:
Towards Structurally-Free Theorem Proving. 425-449 - Rajeev Goré:
Substructural Logics on Display. 451-504 - Andrzej Indrzejczak:
Cut-free Double Sequent Calculus for S5. 505-516
Volume 6, Number 4, July 1998
- Editorial. 529-530
- Pablo E. Martínez López, Gabriel A. Baum:
Fork Algebraic Datatypes. 531-543 - Francisco Miraglia, Ugo Solitro:
Sheaves over Right Sided Idempotent Quantales. 545-600 - Moshe Y. Vardi:
Computational Model Theory: An Overview. 601-623 - Patrick Blackburn, Miroslava Tzakova:
Hybrid Completeness. 625-650 - Peter A. Flach, Antonis C. Kakas, Ruy J. G. B. de Queiroz, Kátia Silva Guimaraes:
Conference Report: Abduction and Induction in AI; Logic, Proofs and Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation (LOCUS). 651-663
Volume 6, Number 5, September 1998
- Heinrich Wansing
Editorial. 667-668 - Arnon Avron:
Two Types of Multiple-Conclusion Systems. 695-717 - Rajeev Goré:
Gaggles, Gentzen and Galois: How to display your favourite substructural logic. 669-694 - Stefano Guerrini, Simone Martini, Andrea Masini:
An Analysis of (Linear) Exponentials Based on Extended Sequents. 735-753 - Beata Konikowska, Charles G. Morgan, Ewa Orlowska:
A Relational Formalisation of Arbitrary Finite Valued Logics. 755-774 - Aida Pliuskeviciene:
Extended Disjunction and Existence Properties for Some Predicate Modal Logics. 775-787 - Heinrich Wansing
Translation of Hypersequents into Display Sequents. 719-733
Volume 6, Number 6, November 1998
- Guilherme Bittencourt:
Concurrent Inference through Dual Transformation. 795-833 - Eduardo L. Fermé
A Brief Note About Rott Contraction. 835-842 - Fairouz Kamareddine, Alejandro Ríos:
Bridging de Bruijn Indices and Variable Names in Explicit Substitutions Calculi. 843-874 - Andreas Nonnengart:
Modal Frame Characterization by Way of Auxiliary Modalities. 875-899 - Athanassios Tzouvaras:
The Linear Logic of Multisets. 901-916 - Ruy J. G. B. de Queiroz, Marcelo Finger:
Conference Report: Workshop on Logic, Language, Information and Computation (WoLLIC'98). 917-918
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-26 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: