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 -