Other formats:
BibTeX
LaTeX
RIS
@proceedings{1442996, author = {Raclavský, Jiří}, booktitle = {Non-Classical Logic. Theory and Applications (NCL9)}, keywords = {partial type theory; natural deduction; two-dimensional inference}, language = {eng}, note = {(conf. abstract)}, title = {Logic for 2D Conception of Inference}, year = {2018} }
TY - CONF ID - 1442996 AU - Raclavský, Jiří PY - 2018 TI - Logic for 2D Conception of Inference N1 - (conf. abstract) KW - partial type theory KW - natural deduction KW - two-dimensional inference N2 - The talk contributes to two-dimensional (2D) conception of inference, pioneered by Frege and defended e.g. by Tichy. In fact, natural deduction in Gentzen style, widely used as deduction system for type theories, implements the 2D-conception. I reformulate and extend Tichy's deduction system (but similar systems can be used as well) to fully meet the programmatic goals of 2D-conception: inference steps are sequents and higher-order rules operate on these sequents. In the final part of the talk, I apply the resulting machinery to a particular example of reasoning and convert it into a proper piece of 2D-inference. ER -
RACLAVSKÝ, Jiří. Logic for 2D Conception of Inference. In \textit{Non-Classical Logic. Theory and Applications (NCL9)}. 2018.
|