Volume 15,
Number 1,
February 2005
Volume 15,
Number 2,
April 2005
Volume 15,
Number 3,
June 2005
Volume 15,
Number 4,
August 2005
Selected Papers from the 3rd Moscow-Vienna Workshop Editorial
Original Articles
Volume 15,
Number 5,
October 2005
Original Articles
Book Reviews
Volume 15,
Number 6,
December 2005
Editorial
Original Articles
- Mary DeMarco, James Lipton:
Completeness and Cut-elimination in the Intuitionistic Theory of Types.
821-854
Electronic Edition (link) BibTeX
- Eduardo Bonelli, Delia Kesner, Alejandro Ríos:
de Bruijn Indices for Metaterms.
855-899
Electronic Edition (link) BibTeX
- Eduardo Bonelli, Delia Kesner, Alejandro Ríos:
Relating Higher-order and First-order Rewriting.
901-947
Electronic Edition (link) BibTeX
- Klaus Glashoff:
Aristotelian Syntax from a Computational-Combinatorial Point of View.
949-973
Electronic Edition (link) BibTeX
- Gem Stapleton, John Howse, John Taylor:
A Decidable Constraint Diagram Reasoning System.
975-1008
Electronic Edition (link) BibTeX
- Henry Prakken:
Coherence and Flexibility in Dialogue Games for Argumentation.
1009-1040
Electronic Edition (link) BibTeX
- Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb:
Value-based Argumentation Frameworks as Neural-symbolic Learning Systems.
1041-1058
Electronic Edition (link) BibTeX
- Sergei N. Artëmov, Elena Nogina:
Introducing Justification into Epistemic Logic.
1059-1073
Electronic Edition (link) BibTeX
- Trevor J. M. Bench-Capon, Katie Atkinson, Alison Chorley:
Persuasion and Value in Legal Argument.
1075-1097
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:13:05 2009
by Michael Ley (ley@uni-trier.de)