Paraconsistent First-Order Logic with infinite hierarchy levels of contradiction

Abstract

In this paper paraconsistent first-order logic LP^{#} with infinite hierarchy levels of contradiction is proposed. Corresponding paraconsistent set theory KSth^{#} is discussed.Axiomatical system HST^{#}as paraconsistent generalization of Hrbacek set theory HST is considered

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

External links

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

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Paraconsistent Set Theory.Marcelo Coniglio, Walter Carnielli & Marcelo Esteban Coniglio - 2016 - In Walter Carnielli & Marcelo Esteban Coniglio (eds.), Paraconsistent Logic: Consistency, Contradiction and Negation. Basel, Switzerland: Springer International Publishing.
An alternative approach for Quasi-Truth.Marcelo E. Coniglio & Luiz H. Da Cruz Silvestrini - 2014 - Logic Journal of the IGPL 22 (2):387-410.
Minimally inconsistent LP.Graham Priest - 1991 - Studia Logica 50 (2):321 - 331.
The inadequacy of a proposed paraconsistent set theory: The inadequacy of a proposed paraconsistent set theory.Frode Bj??Rdal - 2011 - Review of Symbolic Logic 4 (1):106-108.
ZF and the axiom of choice in some paraconsistent set theories.Thierry Libert - 2003 - Logic and Logical Philosophy 11:91-114.
Paraconsistent Logic: Consistency, Contradiction and Negation.Walter Carnielli & Marcelo Esteban Coniglio - 2016 - Basel, Switzerland: Springer International Publishing. Edited by Marcelo Esteban Coniglio.
The inadequacy of a proposed paraconsistent set theory.Frode Bjørdal - 2011 - Review of Symbolic Logic 4 (1):106-108.
A Strong Model of Paraconsistent Logic.Olivier Esser - 2003 - Notre Dame Journal of Formal Logic 44 (3):149-156.
Models for a paraconsistent set theory.Thierry Libert - 2005 - Journal of Applied Logic 3 (1):15-41.

Analytics

Added to PP
2018-02-09

Downloads
280 (#97,350)

6 months
98 (#62,641)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Relevant first-order logic LP# and Curry’s paradox resolution.Jaykov Foukzon - 2015 - Pure and Applied Mathematics Journal Volume 4, Issue 1-1, January 2015 DOI: 10.11648/J.Pamj.S.2015040101.12.

Add more citations

References found in this work

[Omnibus Review].C. Smorynski - 1979 - Journal of Symbolic Logic 44 (1):116-119.

Add more references