User menu

Strong paraconsistency by separating composition and decomposition in classical logic

Bibliographic reference Verdée, Peter. Strong paraconsistency by separating composition and decomposition in classical logic. In: Lev D. Beklemishev, Ruy de Queiroz, Logic, Language, Information and Computation, Springer Berlin Heidelberg  : Berlin 2011, p. 272-292
Permanent URL
  1. Batens, D.: It might have been classical logic. Logique et Analyse,
  2. Batens, D.: Inconsistency-adaptive logics. In: Orłowska, E. (ed.) Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, pp. 445–472. Physica Verlag (Springer) (1999)
  3. Batens, D.: A formal approach to problem solving. In: Delrieux, C., Legris, J. (eds.) Computer Modeling of Scientific Reasoning, pp. 15–26. Universidad Nacional del Sur, Bahia Blanca (2003)
  4. Batens, D., Provijn, D.: Pushing the search paths in the proofs. A study in proof heuristics. Logique et Analyse 173-175, 113–134 (2001) (appeared 2003)
  5. Besnard Philippe, Hunter Anthony, Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information, Symbolic and Quantitative Approaches to Reasoning and Uncertainty (1995) ISBN:9783540601128 p.44-51, 10.1007/3-540-60112-0_6
  6. Craig William, Linear reasoning. A new form of the Herbrand-Gentzen theorem , 10.2307/2963593
  7. D’Agostino, M., Floridi, L.: The enduring scandal of deduction. Synthese 167(2) (2009)
  8. Gentzen Gerhard, Untersuchungen �ber das logische Schlie�en. II, 10.1007/bf01201363
  9. Hunter A, Reasoning with contradictory information using quasi-classical logic, 10.1093/logcom/10.5.677
  10. Hunter Anthony, A Semantic Tableau Version of First-Order Quasi-Classical Logic, Lecture Notes in Computer Science (2001) ISBN:9783540424642 p.544-555, 10.1007/3-540-44652-4_48
  11. Jago Mark, Logical information and epistemic space, 10.1007/s11229-008-9411-x
  12. Provijn, D.: Prospectieve dynamiek. Filosofische en technische onderbouwing van doelgerichte bewijzen en bewijsheuristieken. PhD thesis, Universiteit Gent, Belgium (2005) (unpublished PhD thesis)