Autor:	Balco, Samuel, Greco, Giuseppe, Kurz, Alexander, Moshier, Andrew, Palmigiano, Alessandra, Tzimoulis, Apostolos
Rok vydání:	2021
Předmět:	Mathematics - Logic 03B10 03B35 03B45 03B47 03F03 03F05 03F07 03G05 03G10 03G15 03G30 06A06 06A11 06D10 06D50 06E15
Druh dokumentu:	Working Paper
Popis:	We introduce a proper display calculus for first-order logic, of which we prove soundness, completeness, conservativity, subformula property and cut elimination via a Belnap-style metatheorem. All inference rules are closed under uniform substitution and are without side conditions.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2105.06877 Zobrazit plný text záznamu View this record from Arxiv