Volume 6, Number 1, January 1998
export record as
dblp key:
Editorial.
1-2
export record as
dblp key:
export record as
dblp key:
journals/igpl/FermullerL98 export record as
dblp key:
Arnon Avron :
Formulas for which Contraction is Admissible.
43-48
export record as
dblp key:
export record as
dblp key:
Edward A. Hirsch :
A Fast Deterministic Algorithm for Formulas That Have Many Satisfying Assignments.
59-71
export record as
dblp key:
Volume 6, Number 2, March 1998
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/igpl/DoornbosK98 export record as
dblp key:
Juan Eduardo Durán :
Some Classes Containing a Fork Algebra Equivalent Variety Involving Projections.
203-226
export record as
dblp key:
export record as
dblp key:
Wolfram Kahl :
Relational Treatment of Term Graphs With Bound Variables.
259-303
export record as
dblp key:
export record as
dblp key:
journals/igpl/FrappierMD98 export record as
dblp key:
export record as
dblp key:
journals/igpl/Stefanescu98 Gheorghe Stefanescu :
Reaction and Control I. Mixing Additive and Multiplicative Network Algebras.
348-369
Volume 6, Number 3, May 1998
export record as
dblp key:
export record as
dblp key:
journals/igpl/Battilotti98 Giulia Battilotti :
Embedding Classical Logic into Basic Orthologic with a Primitive Modality.
383-402
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/igpl/Indrzejczak98
Volume 6, Number 4, July 1998
export record as
dblp key:
Editorial.
667-668
export record as
dblp key:
export record as
dblp key:
journals/igpl/MiragliaS98 export record as
dblp key:
export record as
dblp key:
journals/igpl/BlackburnT98 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 6, Number 5, September 1998
export record as
dblp key:
Editorial.
export record as
dblp key:
Arnon Avron :
Two Types of Multiple-Conclusion Systems.
695-717
export record as
dblp key:
Rajeev Goré :
Gaggles, Gentzen and Galois: How to display your favourite substructural logic.
669-694
export record as
dblp key:
journals/igpl/GuerriniMM98 export record as
dblp key:
journals/igpl/KonikowskaMO98 export record as
dblp key:
journals/igpl/Pliuskeviciene98 Aida Pliuskeviciene :
Extended Disjunction and Existence Properties for Some Predicate Modal Logics.
775-787
export record as
dblp key:
Volume 6,
Number 6, November 1998
export record as
dblp key:
journals/igpl/Bittencourt98 export record as
dblp key:
export record as
dblp key:
journals/igpl/KamareddineR98 export record as
dblp key:
journals/igpl/Nonnengart98 export record as
dblp key:
journals/igpl/Tzouvaras98 export record as
dblp key:
data released under the ODC-BY 1.0 license
