Publication details
Functional Reimagination of Jaśkowski's Suppositional Logic (Trends in Logic XIII, 4. 7. 2014, Łódź)
Authors | |
---|---|
Year of publication | 2014 |
Type | Appeared in Conference without Proceedings |
MU Faculty or unit | |
Citation | |
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. |
Related projects: |