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.
|
