Metasequents and Tetravaluations

2Citations
Citations of this article
6Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

In this paper we treat metasequents—objects which stand to sequents as sequents stand to formulas—as first class logical citizens. To this end we provide a metasequent calculus, a sequent calculus which allows us to directly manipulate metasequents. We show that the various metasequent calculi we consider are sound and complete w.r.t. appropriate classes of tetravaluations where validity is understood locally. Finally we use our metasequent calculus to give direct syntactic proofs of various collapse results, closing a problem left open in French (Ergo, 3(5), 113–131 2016).

References Powered by Scopus

Get full text

The logic of paradox

681Citations
108Readers
Get full text

Proof analysis in modal logic

231Citations
41Readers
Get full text

Cited by Powered by Scopus

This article is free to access.

0Citations
N/AReaders

This article is free to access.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Cite

CITATION STYLE

APA

French, R. (2022). Metasequents and Tetravaluations. Journal of Philosophical Logic, 51(6), 1453–1476. https://doi.org/10.1007/s10992-021-09623-7

Readers over time

‘21‘23‘2402468

Readers' Seniority

Tooltip

Professor / Associate Prof. 1

50%

PhD / Post grad / Masters / Doc 1

50%

Readers' Discipline

Tooltip

Philosophy 2

67%

Agricultural and Biological Sciences 1

33%

Save time finding and organizing research with Mendeley

Sign up for free
0