Volume 13,
Number 1,
February 2003
Volume 13,
Number 2,
April 2003
Volume 13,
Number 3,
June 2003
Volume 13,
Number 4,
August 2003
- Heinrich Wansing:
Editorial.
451
Electronic Edition (link) BibTeX
- Sergei P. Odintsov:
Algebraic Semantics for Paraconsistent Nelson's Logic.
453-468
Electronic Edition (link) BibTeX
- Petr Hájek:
Fuzzy Logics with Noncommutative Conjuctions.
469-479
Electronic Edition (link) BibTeX
- Stefania Lusin, Antonino Salibra:
A Note on Absolutely Unorderable Combinatory Algebras.
481-502
Electronic Edition (link) BibTeX
- Anuj Dawar, David Richerby:
Fixed-point Logics with Nondeterministic Choice.
503-530
Electronic Edition (link) BibTeX
- Francesc Esteva, Lluis Godo, Petr Hájek, Franco Montagna:
Hoops and Fuzzy Logic.
532-555
Electronic Edition (link) BibTeX
- Ofer Arieli, Marc Denecker:
Reducing Preferential Paraconsistent Reasoning to Classical Entailment.
557-580
Electronic Edition (link) BibTeX
- Stephen A. Cook, Yongmei Liu:
A Complete Axiomatization for Blocks World.
581-594
Electronic Edition (link) BibTeX
- Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas:
Fibring Logics with Topos Semantics.
595-624
Electronic Edition (link) BibTeX
- Richard Banach:
Book Review: "Concurrency Verification: Introduction to Compositional and Non-compositional Methods" by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel and Job Zwiers (eds.).
625-627
Electronic Edition (link) BibTeX
Volume 13,
Number 5,
2003
Volume 13,
Number 6,
2003
Copyright © Sun May 17 00:13:05 2009
by Michael Ley (ley@uni-trier.de)
