Partiality and Tichý's logic
| Authors | |
|---|---|
| Year of publication | 2013 |
| Type | Appeared in Conference without Proceedings |
| MU Faculty or unit | |
| 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: |