Le\'sniewski's Ontology -- Proof-Theoretic Characterization
Author: Andrzej Indrzejczak
Paper Information
| Title: | Le\'sniewski's Ontology -- Proof-Theoretic Characterization |
| Authors: | Andrzej Indrzejczak |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | Le\'sniewski, Ontology, Calculus of Names, Sequent Calculus, Cut Elimination |
| Pages: | 18 |
| Talk: | Aug 09 11:20 (Session 102D: Proof Systems and Recursion) |
| Paper: |  |