Systems of axioms for elementary logic we can find in textbooks are usually not very transparent; and the reader might well wonder how did precisely such a set of axioms come into being. In this paper we present a way of constituting one such non-transparent set of axioms, namely the one presented by E. Mendelson in his Introduction to Mathematical Logic, in a transparent way, with the aim of helping the reader to get an insight into the workings of the axioms., Systémy axiomů pro elementární logiku, které můžeme najít v učebnicích, nejsou obvykle příliš transparentní; a čtenář by se mohl divit, jak přesně vznikl takový soubor axiomů. V tomto příspěvku představujeme způsob, jak vytvořit jednu takovou netransparentní sadu axiomů, a to transparentní způsob, který předložil E. Mendelson ve svém Úvodu do matematické logiky , s cílem pomoci čtenáři nahlédnout do fungování axiomů., and Jaroslav Peregrin
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., Příspěvek se zabývá užitečností konceptu shody mezi dvěma (nebo více) konstrukcemi Pavla Tichého pro úvahy dedukce a inference. Tichý preferenci dvojrozměrného pohledu na odvození namísto jednorozměrného pohledu je kritizován. Jsou vysvětleny důvody pro realizaci konceptu shody . Logická expresivita konceptu zápasu je demonstrována jeho implementací do systému přirozeného odpočtu, který je vysvětlen v hyperintenzionálním rámci transparentní intenzivní logiky., and František Gahér ; Lukáš Bielik