Journal of Applied Logic, Volume 3

Volume 3, Number 1, March 2005

A Paraconsistent Decagon

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

Logic-based Methods for Information Integration

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

DEON 04

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