Další formáty:
BibTeX
LaTeX
RIS
@proceedings{1199866, author = {Pezlar, Ivo}, booktitle = {Trends in Logic XIII - Studia Logica International Conference, Łódź, 2nd July - 5th July 2014}, keywords = {Jaśkowski; Calculus of Suppositions; Natural Deduction; Suppositional Logic}, language = {eng}, title = {Functional Reimagination of Jaśkowski's Suppositional Logic (Trends in Logic XIII, 4. 7. 2014, Łódź)}, year = {2014} }
TY - CONF ID - 1199866 AU - Pezlar, Ivo PY - 2014 TI - Functional Reimagination of Jaśkowski's Suppositional Logic (Trends in Logic XIII, 4. 7. 2014, Łódź) KW - Jaśkowski KW - Calculus of Suppositions KW - Natural Deduction KW - Suppositional Logic N2 - We sketch the basics of Calculus of Suppositions (CoS), which can be viewed as a functional interpretation of Jaśkowski's suppositional logic from his 1934 paper "On the Rules of Suppositions in Formal Logic" with couple of additional modifications. Jaśkowski's original system relied on a novel concept of composite expressions with prefixes and we try to explore this approach further in the framework of CoS. ER -
PEZLAR, Ivo. Functional Reimagination of Ja\'skowski's Suppositional Logic (Trends in Logic XIII, 4. 7. 2014, Łód\'z). In \textit{Trends in Logic XIII - Studia Logica International Conference, Łód\'z, 2nd July - 5th July 2014}. 2014.
|