Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics
Authors: Vitor Rodrigues Greati and Joao Marcos
Paper Information
| Title: | Finite Two-Dimensional Proof Systems for Non-finitely Axiomatizable Logics |
| Authors: | Vitor Rodrigues Greati and Joao Marcos |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | Hilbert-style proof systems, finite axiomatizability, consequence relations, non-deterministic semantics, paraconsistency |
| Pages: | 19 |
| Talk: | Aug 09 11:00 (Session 102D: Proof Systems and Recursion) |
| Paper: |  |