Systems for Non-Reflexive Consequence

Carlo Nicolai, Lorenzo Rossi*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


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
Issue number6
Publication statusPublished - 21 Mar 2023


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


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

Cite this