Journal of Applied Non-Classical Logics, Volume 15

Volume 15, Number 1, 2005

Logical Approaches to Paraconsistency

J. Riche: Decision Procedure of some Relevant Logics: A Constructive Perspective. 9-23
Beata Konikowska: A Decompositional Deduction System for a Logic Featuring Inconsistency and Uncertainty. 25-44
Jørgen Villadsen: Supra-logic: Using Transfinite Type Theory with Type Variables for Paraconsistency. 45-58
Chris Mortensen, P. Quigley: Cubic Logic, Ulam Games, and Paraconsistency. 59-68
Itala M. Loffredo D'Ottaviano, Milton Augustinis De Castro: Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics Cn, 1>n>w. 69-103

Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke: PDL for Ordered Trees. 115-135
Stefano Borgo: Quantificational Modal Logic with Sequential Kripke Semantics. 137-188
Carsten Lutz, Dirk Walther: PDL with Negation of Atomic Programs. 189-213
D. Zhang, N. Foo: Frame problem in dynamic logic. 215-239

Marcel Crabbé: Cuts and gluts. 249-263
Marta Sagastume: Conical logic and l-groups logic. 265-283
Paola Forcheri, Paolo Gentilini: Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework. 285-319
Paolo Liberatore: Seminormalizing a default theory. 321-340
Peter Jonsson: Adding clauses to poor man's logic (without increasing the complexity). 341-357

P. E. Eleftheriou, Costas D. Koutras: Frame constructions, truth invariance and validity preservation in many-valued modal logic. 367-388
Gemma Robles, José M. Méndez: A constructive negation for logics including TW+. 389-404
Norihiro Kamide: Natural deduction systems for Nelson's paraconsistent logic and its neighbors. 405-435
Hans P. van Ditmarsch: The case of the hidden hand. 437-452
Tomasz F. Skura: Intuitionistic Socratic procedures. 453-464
Tarek Sayed Ahmed: Omitting types for algebraizable extensions of first order logic. 465-489