Steps towards a proof-theoretical semantics

DOI10.1007/s11245-012-9120-4zbMath1308.03021OpenAlexW1964884725MaRDI QIDQ2339008

Enrico Moriconi

Publication date: 27 March 2015

Published in: Topoi (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11245-012-9120-4

zbMATH Keywords

harmonyproof theorynormalizationinversionsemantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• General-elimination harmony and the meaning of the logical constants
• Partial inductive definitions
• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
• Untersuchungen über das logische Schliessen. I
• Generalized definitional reflection and the inversion principle
• The justification of the logical laws revisited
• Konstruktive Begründung der Mathematik
• On Inversion Principles
• INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Steps towards a proof-theoretical semantics