14 citations · 24 across the 6 of their papers we have counts for
6 papers · 1 filter
Implicit Commitment in a General Setting
Mateusz Łelyk, Carlo Nicolai
Gödel's Incompleteness Theorems suggest that no single formal system can capture the entirety of one's mathematical beliefs, while pointing at a hierarchy of systems of increasing…
Non-contractive logics, Paradoxes, and Multiplicative Quantifiers
Carlo Nicolai, Mario Piazza, Matteo Tesi
The paper investigates from a proof-theoretic perspective various non-contractive logical systems circumventing logical and semantic paradoxes. Until recently, such systems only di…
Nonclassical truth with classical strength. A proof-theoretic analysis of compositional truth over HYPE
Martin Fischer, Carlo Nicolai, Pablo Dopico Fernandez
Questions concerning the proof-theoretic strength of classical versus non-classical theories of truth have received some attention recently. A particularly convenient case study co…
Cut elimination for systems of transparent truth with restricted initial sequents
Carlo Nicolai
The paper studies a cluster of systems for fully disquotational truth based on the restriction of initial sequents. Unlike well-known alternative approaches, such systems display b…
The Modal Logics of Kripke-Feferman Truth
Carlo Nicolai, Johannes Stern
We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results. Given a fixed-point model $\mathca…
Iterated reflection principles over full disquotational truth
Martin Fischer, Carlo Nicolai, Leon Horsten
Iterated reflection principles have been employed extensively to unfold epistemic commitments that are incurred by accepting a mathematical theory. Recently this has been applied t…