A Generalized Notion of Refutation for Gentzen Calculi*
Franz von Kutschera, Sara Ayhan · History and Philosophy of Logic · 2024
In von Kutschera 1968 a propositional semantics was outlined which takes valid inferences to be defined by derivability relations in calculi.1 It was pointed out that from this approach it is desir...