Systems for non-reflexive consequence

Download Edit this record How to cite View on PhilPapers
Abstract
Substructural logics and their application to logical and semantic paradoxes have been extensively studied, but non-reexive systems have been somewhat neglected. Here, we aim to (at least partly) ll this lacuna, by presenting a non-reexive logic and theory of naïve consequence (and truth). We also investigate the semantics and the proof-theory of the system. Finally, we develop a compositional theory of truth (and consequence) in our non-reexive framework.
PhilPapers/Archive ID
NICSFN
Upload history
Archival date: 2020-09-18
View other versions
Added to PP index
2020-09-18

Total views
82 ( #39,980 of 54,677 )

Recent downloads (6 months)
82 ( #7,122 of 54,677 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.