An Incompleteness Theorem for Modal Relevant Logics

Shawn Standefer

doi:10.1215/00294527-2021-0035

Abstract

In this paper, an incompleteness theorem for modal extensions of relevant logics is proved. The proof uses elementary methods and builds upon the work of Fuhrmann.

Citation

Download Citation

Shawn Standefer. "An Incompleteness Theorem for Modal Relevant Logics." Notre Dame J. Formal Logic 62 (4) 669 - 681, November 2021. https://doi.org/10.1215/00294527-2021-0035

Information

Received: 19 November 2019; Accepted: 8 June 2021; Published: November 2021

First available in Project Euclid: 13 December 2021

MathSciNet: MR4350953

zbMATH: 07473065

Digital Object Identifier: 10.1215/00294527-2021-0035

Subjects:

Primary: 03B47

Secondary: 03B45

Keywords: Incompleteness , modal logic , modal relevant logic , reduced frames , relevant logic

Abstract

Citation

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS