FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: