Systems for Non-Reflexive Consequence

Carlo Nicolai, Lorenzo Rossi*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)

Abstract

Substructural logics and their application to logical and semantic paradoxes have been extensively studied. In the paper, we study theories of naïve consequence and truth based on a non-reflexive logic. We start by investigating the semantics and the proof-theory of a system based on schematic rules for object-linguistic consequence. We then develop a fully compositional theory of truth and consequence in our non-reflexive framework.

Original languageEnglish
Pages (from-to)947-977
Number of pages31
JournalStudia Logica
Volume111
Issue number6
DOIs
Publication statusPublished - 21 Mar 2023

Keywords

  • Naïve consequence
  • Naïve truth
  • Non-reflexive logics
  • Paradoxes
  • Substructural logics

Fingerprint

Dive into the research topics of 'Systems for Non-Reflexive Consequence'. Together they form a unique fingerprint.

Cite this