Functional Reimagination of Jaśkowski's Suppositional Logic (Trends in Logic XIII, 4. 7. 2014, Łódź)
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F14%3A00076635" target="_blank" >RIV/00216224:14210/14:00076635 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Functional Reimagination of Jaśkowski's Suppositional Logic (Trends in Logic XIII, 4. 7. 2014, Łódź)
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
O - Miscellaneous
CEP classification
AA - Philosophy and religion
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů