Automated correspondence analysis for the binary extensions of the logic of paradox

Review of Symbolic Logic 10 (4):756-781 (2017)
  Copy   BIBTEX

Abstract

B. Kooi and A. Tamminga present a correspondence analysis for extensions of G. Priest’s logic of paradox. Each unary or binary extension is characterizable by a special operator and analyzable via a sound and complete natural deduction system. The present paper develops a sound and complete proof searching technique for the binary extensions of the logic of paradox.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A Splitting Logic in NExt.Yutaka Miyazaki - 2007 - Studia Logica 85 (3):381-394.
A splitting logic in NExt(KTB).Yutaka Miyazaki - 2007 - Studia Logica 85 (3):381 - 394.
Logic of Simpson paradox.Jacek Malinowski - 2005 - Logic and Logical Philosophy 14 (2):203-210.
Facing Up to the Sorites Paradox.Terry Horgan - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 6:99-111.
Correia Semantics Revisited.Thomas Macaulay Ferguson - 2016 - Studia Logica 104 (1):145-173.

Analytics

Added to PP
2018-01-18

Downloads
30 (#519,519)

6 months
7 (#411,886)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Vasily Olegovich Shangin
Moscow State University
Yaroslav Petrukhin
Moscow State University

References found in this work

The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
On notation for ordinal numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
Introduction to Logic.Irving M. Copi - 1954 - Revue de Métaphysique et de Morale 59 (3):344-345.

View all 28 references / Add more references