On-Line Proceedings

On some Aspects of Decidability of Annotated Systems, Jair Abe (Paulista University, Sao Paulo, Brazil), and Seiki Akama (Teikyo Heisei University, Ichihara-shi, Japan).

Resource-Bounded Reasoning and Paraconsistency, Martin Allen (University of Pittsburgh, USA), and Raymond Jennings (Simon Fraser University, Burnaby, Canada).

A Multi-Agent System for Bank Check Treatment Using Paraconsistent Logic, Elaini Angelotti, Edson Scalabrin and Bráulio Ávila (Pontific Catholic University of Paraná, Curitiba, Brazil).

Making Inferences on Tangled Hierarchies: A Paraconsistent Approach, Bráulio Ávila and Fernanda Hemecker, (Pontific Catholic University of Paraná, Curitiba, Brazil).

Formula-Preferential Systems for Paraconsistent Non-Monotonic Reasoning, Arnon Avron and Ido Lev, (Tel-Aviv University, Ramat-Aviv, Israel).

The Logic of Confusion, Jean-Yves Béziau, (Stanford University, Stanford, USA).

Logic of Paradox, FDE and Ambiguity, Bryson Brown (University of Lethbridge, Alberta, Canada).

Scientific Rationality and Inconsistency: A Partial Structures Perspective, Otávio Bueno (California State University, Fresno, CA, USA).

Non-Truth Functional Fibred Semantics, Carlos Caleiro (IST, TU, Lisboa, Portugal) and João Marcos (Universiteit Gent, Gent, Belgium).

Tableau Systems for Logics of Formal Inconsistency, Walter Carnielli (State University of Campinas, Brazil) and João Marcos (Universiteit Gent, Gent, Belgium).

Paraconsistent Reasoning Based on Strong Relevant Logic, Jingde Cheng (Saitama University, Saitama, Japan).

The Role of Defeasible Reasoning in the Modelling of Scientific Research, Claudio Delrieux (Universidad Nacional del Sur, Bahía Blanca, Argentina).

Generalization vs. (Induction vs. Abduction), Eric Gregoire (Université d'Artois, Lens, France).

Negation as Finite Failure is Paraconsistent, Paolo Mascellani (Universitá degli Studi Siena, Italy).

Scientific Reasoning and Belief Structure, Yasuo Nakayama (Osaka University, Suita, Japan).

Political Incoherence: An Application of K-Uncolourable Hypergraphs to the Theory of Democracy, Tara Nicholson (Simon Fraser University, Burnaby, Canada).

A Semantics for Default Reasoning, Marcelino Pequeno and Ana Martins (Universidade Federal do Ceará, Fortaleza, Brazil).

A Positive Formalization for the Notion of Pragmatic Truth, Tarcisio Pequeno, Marcelino Pequeno (Universidade Federal do Ceará, Fortaleza, Brazil), and Arthur Buchsbaum (Universidade Federal de Santa Catarina, Florianópolis, Brazil).

Implication, Preservation and Truth, Darko Sarenac (Stanford University, Stanford, CA, USA), and Raymond Jennings (Simon Fraser University, Burnaby, Canada).

Strong Relevance as a Logical Validity Criterion for Scientific Reasoning, Jingde Cheng (Saitama University, Saitama, Japan).