@misc{Lexicon of Arguments,
title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 28 Mar 2024},
author = {Logic Texts},
subject = {Proof Theory},
note = {Hoyningen-Huene II 257ff
Proof Theory/Hoyningen-Huene: here the abstraction trend is driven even further than with the model theory. - To define the metalogical terms we abstract from the meaning of the connectives. - The procedure is purely syntactic. - A calculus is nothing more than a system of production rules for printing images. > Uninterpreted formal system - the calculi differ in their use of the operators.
>Model theory, >Calculus, >Interpretation, >Valuation, >Syntax, >Connective. },