Archive for Mathematical Logic 41 (3):299-307 (2002)

Abstract
As it was proved in [4, Sect. 3], the poset of extensions of the propositional logic defined by a class of logical matrices with equationally-definable set of distinguished values is a retract, under a Galois connection, of the poset of subprevarieties of the prevariety generated by the class of the underlying algebras of the defining matrices. In the present paper we apply this general result to the three-valued paraconsistent logic proposed by Hałkowska–Zajac [2]. Studying corresponding prevarieties, we prove that extensions of the logic involved form a four-element chain, the only proper consistent extensions being the least non-paraconsistent extension of it and the classical logic. RID=""ID="" Mathematics Subject Classification (2000): 03B50, 03B53, 03G10 RID=""ID="" Key words or phrases: Many-valued logic – Paraconsistent logic – Extension – Prevariety – Distributive lattice
Keywords Legacy
Categories (categorize this paper)
DOI 10.1007/s001530100115
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: 55,935
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

No references found.

Add more references

Citations of this work BETA

Subquasivarieties of Implicative Locally-Finite Quasivarieties.Alexej P. Pynko - 2010 - Mathematical Logic Quarterly 56 (6):643-658.
N-Valued Maximal Paraconsistent Matrices.Adam Trybus - 2019 - Journal of Applied Non-Classical Logics 29 (2):171-183.

Add more citations

Similar books and articles

Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
Finitely Many-Valued Paraconsistent Systems.Roman Tuziak - 1997 - Logic and Logical Philosophy 5:121-127.
How to Avoid Deviance (in Logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Introducción a las lógicas no clásicas.Lorenzo Peña - 1993 - Universidad Nacional Autónoma de México.
Paraconsistency Everywhere.Greg Restall - 2002 - Notre Dame Journal of Formal Logic 43 (3):147-156.

Analytics

Added to PP index
2013-11-23

Total views
5 ( #1,130,455 of 2,403,026 )

Recent downloads (6 months)
2 ( #361,919 of 2,403,026 )

How can I increase my downloads?

Downloads

My notes