Functional Reimagination of Jaśkowski's Suppositional Logic (Trends in Logic XIII, 4. 7. 2014, Łódź)

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Arts. Official publication website can be found on muni.cz.
Authors

PEZLAR Ivo

Year of publication 2014
Type Appeared in Conference without Proceedings
MU Faculty or unit

Faculty of Arts

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:

You are running an old browser version. We recommend updating your browser to its latest version.