Canonical extensions and relational completeness of some substructural logics

J. Michael Dunn*, Mai Gehrke, Alessandra Palmigiano

*Corresponding author for this work

Research output: Contribution to JournalReview articleAcademicpeer-review

Abstract

In this paper we introduce canonical extensions of partially ordered sets and monotone maps and a corresponding discrete duality. We then use these to give a uniform treatment of completeness of relational semantics for various substructural logics with implication as the residual(s) of fusion.

Original languageEnglish
Pages (from-to)713-740
Number of pages28
JournalJournal of Symbolic Logic
Volume70
Issue number3
DOIs
Publication statusPublished - 1 Sept 2005
Externally publishedYes

Fingerprint

Dive into the research topics of 'Canonical extensions and relational completeness of some substructural logics'. Together they form a unique fingerprint.

Cite this