|

Generalised state descriptions for strong first-degree entailment logic extensions

Authors: Belikov A.A. Published: 12.04.2018
Published in issue: #3(65)/2018  
DOI: 10.18698/2306-8477-2018-3-513  
Category: The Humanities in Technical University | Chapter: Philosophy Science  
Keywords: generalised state descriptions, relevance logic, logical semantics, paraconsistency, paracompleteness

The article proposes a number of generalised state description semantics for certain Dunn—Belnap logic extensions. The extensions under investigation include the Rivieccio—Pietz (ETL) and Shramko—Zaitsev—Belikov (NFL) logics. Generalised state descriptions form the basis for defining entailment relations that enable us to formalise the corresponding logics.


References
[1] Dunn J.M., Restall G. Relevance logic. Handbook of philosophical logic. Springer Netherlands, 2002, рр. 1–128.
[2] Dunn J.M. Partiality and its dual. Studia Logica, 2000, vol. 66, no. 1, pp. 5–40.
[3] Voyshvillo E.K. Filosofsko-metodologicheskie aspekty relevantnoy logiki [Phiolosophical and methodological aspects of relevance logic]. Moscow, Editorial URSS Publ., 2011, 139 p.
[4] Smirnova E.D. Logika i filosofiya [Logic and philosophy]. Moscow, ROSSPEN; Russian Political Encyclopedia Press, 1996, 304 p.
[5] Pietz A., Rivieccio U. Nothing but the Truth. Journal of Philosophical Logic. 2013, no. 42, рр. 125–135.
[6] Marcos J. The value of the two values. In: Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday (Tributes). J.Y. Beziau, M.E. Coniglio, eds. College Publications, 2011, pp. 277–294.
[7] Shramko Y., Zaitsev D., Belikov A. First-degree entailment and its relatives. Studia Logica, 2017, vol. 105, no. 6, рр. 1291–1347.