Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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 F. L. 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 Bernhard Michael 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 J. 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 Rt 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 20:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
