Volume 3,
Number 1,
February 1993
- Dov M. Gabbay:
Editorial.
1-2
- Ricardo Caferra:
A Tableaux Method for Systematic Simultaneous Search for Refutationas and Models Using Equational Problems.
3-25
- Kevin T. Kelly:
Learning Theory and Descriptive Set Theory.
27-45
- Peter J. Robinson, John Staples:
Formalizing a Hierarchical Structure of Practical Mathematical Reasoning.
47-61
- Jörg Hudelmaier:
An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic.
63-75
- Raymond Turner:
Lazy Theories of Operations and Types.
77-102
Volume 3,
Number 2,
April 1993
Volume 3,
Number 3,
June 1993
- Robert A. Kowalski:
Editorial: An Undergraduate Degree in Practical Reasoning.
227-229
- Michael Freund:
Injective Models and Disjunctive Relations.
231-247
- Alberto Zanardo, José Carmo:
Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL.
249-268
- Sachio Hirokawa:
The Relevance Graph of a BCK-Formula.
269-285
- Gilles Dowek:
A Complete Proof Synthesis Method for the Cube of Type Systems.
287-315
- Gerard Vreeswijk:
Defeasible Dialectics: A Controversy-Oriented Approach Towards Defeasible Argumentation.
317-334
Volume 3,
Number 4,
August 1993
Volume 3,
Number 5,
October 1993
Volume 3,
Number 6,
December 1993
Copyright © Fri Nov 27 19:55:34 2009
by Michael Ley (ley@uni-trier.de)
