TY - JOUR
T1 - Využitie pojmu zhoda v hyperintenzionálnej dedukcii
JF - Organon F
Y1 - 2013
A1 - Bielik, Lukáš
A1 - Gahér, František
KW - Deduction
KW - inference
KW - match
KW - Natural Deduction
KW - sequent calculus
KW - transparent intensional logic
AB - The paper deals with the usefulness of Pavel Tichý’s concept of match between two (or more) constructions for the deduction and inference considerations. Tichý’s preference of the two-dimensional view on inference instead of the one-dimensional view is criticized. The reasons for the implementation of the match concept are elucidated. The logical expressiveness of the match concept is demonstrated through its implementation to the Natural Deduction System explicated in the hyperintensional framework of Transparent Intensional Logic.
IS - 2
VL - 20
SP - 98-111
UR - http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2013/2/98-111.pdf
U3 - 98111
U5 - 1
TI - The Prospects of the Concept Match in Hyperintensional Deduction
ER -