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

Authors
Vasily Olegovich Shangin
Moscow State University
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.
Keywords non-classical logic  logic of paradox  proof theory  proof search  correspondence analysis
Categories (categorize this paper)
DOI 10.1017/s1755020317000156
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,464
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

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.
On Notation for Ordinal Numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
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

Citations of this work BETA

Exactly True and Non-Falsity Logics Meeting Infectious Ones.Alex Belikov & Yaroslav Petrukhin - 2020 - Journal of Applied Non-Classical Logics 30 (2):93-122.

View all 6 citations / Add more citations

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 Ferguson - 2016 - Studia Logica 104 (1):145-173.

Analytics

Added to PP index
2018-01-18

Total views
20 ( #560,717 of 2,520,752 )

Recent downloads (6 months)
1 ( #405,718 of 2,520,752 )

How can I increase my downloads?

Downloads

My notes