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 BibTeX
Beata Konikowska: A Decompositional Deduction System for a Logic Featuring Inconsistency and Uncertainty. 25-44 BibTeX
Jørgen Villadsen: Supra-logic: Using Transfinite Type Theory with Type Variables for Paraconsistency. 45-58 BibTeX
Chris Mortensen, P. Quigley: Cubic Logic, Ulam Games, and Paraconsistency. 59-68 BibTeX
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 BibTeX

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

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

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