Partiality and Tichý's logic

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

RACLAVSKÝ Jiří

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

Faculty of Arts

Citation
Description Presentation of the ways how partiality is treated within simple and them ramified version of Pavel Tichý's logical theory. Comparison of the results with other works on the topics in last two decades. Introducing the autor's own contributions (e.g. proof of invalidity of eta-reduction when adopting partial functions).
Related projects:

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