Substructural logics and their application to logical and semantic paradoxes have been extensively studied. In the paper, we study theories of naive 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.
Systems for Non-Reflexive Consequence
Rossi, L
2023-01-01
Abstract
Substructural logics and their application to logical and semantic paradoxes have been extensively studied. In the paper, we study theories of naive 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.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
s11225-023-10049-2.pdf
Accesso aperto
Dimensione
445.89 kB
Formato
Adobe PDF
|
445.89 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
