Journal of Applied Logic, Volume 3

Volume 3, Number 1, March 2005

• João Marcos, Diderik Batens, Walter Alexandre Carnielli:
  A Paraconsistent Decagon. 1-5
  
• Jean-Yves Béziau:
  Paraconsistent logic from a modal viewpoint. 7-14
  
• Thierry Libert:
  Models for a paraconsistent set theory. 15-41
  
• Sergei P. Odintsov:
  On the structure of paraconsistent extensions of Johansson's logic. 43-65
  
• João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira:
  An encompassing framework for Paraconsistent Logic Programs. 67-95
  
• Paola Forcheri, Paolo Gentilini:
  Paraconsistent Informational Logic. 97-118
  
• Claudio Pizzi:
  Aristotle's Thesis between paraconsistency and modalization. 119-131
  
• Arnon Avron:
  Combining classical logic, paraconsistency and relevance. 133-160
  
• Andreas B. M. Brunner, Walter Alexandre Carnielli:
  Anti-intuitionism and paraconsistency. 161-184
  
• João Marcos:
  On negation: Pure local rules. 185-219
  
• Diderik Batens:
  A procedural criterion for final derivability in inconsistency-adaptive logics. 221-250
  

Volume 3, Issue 2, June 2005

• Thomas Eiter, Domenico Lembo:
  Preface. 251-252
  
• Gunter Saake, Kai-Uwe Sattler, Stefan Conrad:
  Rule-based schema matching for ontology-based mediators. 253-270
  
• Wolfgang May:
  Logic-based XML data integration: a semi-materializing approach. 271-307
  
• Andrea Calì, Domenico Lembo, Riccardo Rosati:
  A comprehensive semantic framework for data integration systems. 308-328
  
• Loreto Bravo, Leopoldo E. Bertossi:
  Deductive databases for computing certain and consistent answers from mediated data integration systems. 329-367
  

Volume 3, Numbers 3-4, September 2005

• Alessio Lomuscio, Donald Nute:
  Editorial. 369-370
  
• Mark A. Brown:
  Obligation, contracts, and negotiation: Outlining an approach. 371-395
  
• Michael Wooldridge, Wiebe van der Hoek:
  On obligations and normative ability: Towards a logical analysis of the social contract. 396-420
  
• Lennart Åqvist:
  Combinations of tense and deontic modality: On the R_t approach to temporal logic with historical necessity and conditional obligation. 421-460
  
• Lou Goble:
  A logic for deontic dilemmas. 461-483
  
• Jörg Hansen:
  Conflicting imperatives and dyadic deontic logic. 484-511