Logic Journal of the IGPL logo Oxford University Press logo

Logic Journal of the IGPL publishes papers in all areas of pure and applied logic, including pure logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, logic and computation, logic and language, and logic engineering.

Publisher: Oxford University Press

Volume 12, Number 5, September 2004
Key:
Free Content - Free Content
New Content - New Content
Subscribed Content - Subscribed Content
Free Trial Content - Free Trial Content

< previous issue | next issue > | all issues

Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for etartrieta
pp. 345-353(9)
Author: Jeff Paris

Routely-Meyer Semantics for some weak Boolean Logics, and some Translations
pp. 355-369(15)
Author: Eunsuk Yang

A Hybrid Abductive Inductive Proof Procedure
pp. 371-397(27)
Authors: Oliver Ray; Krysia Broda; Alessandra Russo

Polish Logic
pp. 399-428(30)
Author: Jan Wolenacuteski

Acknowledgements
pp. 429-429(1)

< previous issue | next issue > | all issues

Key:
Free Content - Free Content
New Content - New Content
Subscribed Content - Subscribed Content
Free Trial Content - Free Trial Content
Share this item with others: These icons link to social bookmarking sites where readers can share and discover new web pages.
Page Help Click here for Page Help
Shopping cart
Tools
Sign in






Need to register?
Sign up here
Text size: A | A | A | A