Displaying and deciding substructural logics 1: Logics with contraposition

Research output: Contribution to journalArticlepeer-review

29 Citations (Scopus)

Abstract

Many logics in the relevant family can be given a proof theory in the style of Belnap's display logic (Belnap, 1982). However, as originally given, the proof theory is essentially more expressive than the logics they seek to model. In this paper, we consider a modified proof theory which more closely models relevant logics. In addition, we use this proof theory to show decidability for a large range of substructural logics.

Original languageEnglish
Pages (from-to)179-216
Number of pages38
JournalJournal of Philosophical Logic
Volume27
Issue number2
DOIs
Publication statusPublished - 1998

Fingerprint

Dive into the research topics of 'Displaying and deciding substructural logics 1: Logics with contraposition'. Together they form a unique fingerprint.

Cite this