%0 Journal Article
%J Organon F
%D 2013
%T Využitie pojmu zhoda v hyperintenzionálnej dedukcii
%A Bielik, Lukáš
%A Gahér, František
%K Deduction
%K inference
%K match
%K Natural Deduction
%K sequent calculus
%K transparent intensional logic
%X 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.
%B Organon F
%V 20
%P 98-111
%G Slovak
%U http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2013/2/98-111.pdf
%3 98111
%# 1