A family of genuine and non-algebraisable C-systems

, &
Journal of Applied Non-Classical Logics 31 (1):56-84 (2021)
  Copy   BIBTEX

Abstract

In 2016, Béziau introduced the notion of genuine paraconsistent logic as logic that does not verify the principle of non-contradiction; as an important example, he presented the genuine paraconsist...

Categories

Keywords

Reprint years

DOI

10.1080/11663081.2021.1885167

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Paracomplete logics which are dual to the paraconsistent logics L3A and L3B.Alejandro Hernández-Tello, Verónica Borja-Macı́as & Marcelo E. Coniglio - 2020 - LANMR 2019: Proceedings of the 12th Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning.
The difference between epistemic and metaphysical necessity.Martin Glazier - 2017 - Synthese 198 (Suppl 6):1409-1424.
How Theology Looks at Neurotheology.Ali Akbar Ziaee - 2015 - Balkan Journal of Philosophy 7 (2):195-204.
An axiomatic approach to CG′3 logic.Miguel Pérez-Gaspar, Alejandro Hernández-Tello, José Arrazola Ramírez & Mauricio Osorio Galindo - 2020 - Logic Journal of the IGPL 28 (6):1218-1232.
What is a genuine intuitionistic notion of falsity?Yaroslav Shramko - 2012 - Logic and Logical Philosophy 21 (1):3-23.
Hans Jonas, Transhumanism, and What it Means to Live a «Genuine Human Life».Lewis Coyne & Michael Hauskeller - 2019 - Revue Philosophique De Louvain 117 (2):291-310.
An Excess of Dialetheias: In Defence of Genuine Impossible Worlds.Ira Kiourti - 2019 - In Adam Rieger & Gareth Young (eds.), Dialetheism and its Applications. Cham: Springer. pp. 81-100.
From logics of formal inconsistency to logics of formal classicality.Hitoshi Omori - 2020 - Logic Journal of the IGPL 28 (5):684-711.
New Directions in Paraconsistent Logic.Jean-Yves Beziau (ed.) - 2015 - New Delhi, India: Springer, India.
Genuine Individuals and Genuine Communities.Jacquelyn Ann K. Kegley - 1997 - Transactions of the Charles S. Peirce Society 33 (4):1050-1059.
A plea for KR.Alison Duncan Kerr - 2019 - Synthese 198 (4):3047-3071.
Disjunctivism.Stephan Blatti - 2006 - In A. C. Grayling, A. Pyle & N. Goulder (eds.), Continuum Encyclopedia of British Philosophy. Continuum.
Which Are the Genuine Properties?Bradley Rives - 2015 - Metaphilosophy 46 (1):104-126.
Why tropistic systems are not genuine intentional systems.Ansgar Beckermann - 1988 - Erkenntnis 29 (1):125-142.
Paraconsistency, self-extensionality, modality.Arnon Avron & Anna Zamansky - 2020 - Logic Journal of the IGPL 28 (5):851-880.

Analytics

Added to PP
2021-02-15

Downloads
30 (#504,503)

6 months
16 (#138,396)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Algebraizable Logics.W. J. Blok & Don Pigozzi - 2022 - Advanced Reasoning Forum.
An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.
Paraconsistent Logic: Consistency, Contradiction and Negation.Walter Carnielli & Marcelo Esteban Coniglio - 2016 - Basel, Switzerland: Springer International Publishing. Edited by Marcelo Esteban Coniglio.

View all 16 references / Add more references