Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Balco, Samuel"'
Autor:
Balco, Samuel, Greco, Giuseppe, Kurz, Alexander, Moshier, Andrew, Palmigiano, Alessandra, Tzimoulis, Apostolos
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
Externí odkaz:
http://arxiv.org/abs/2105.06877
Autor:
Balco, Samuel, Kurz, Alexander
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 1 (January 26, 2023) lmcs:6313
We introduce nominal string diagrams as string diagrams internal in the category of nominal sets. This leads us to define nominal PROPs and nominal monoidal theories. We show that the categories of ordinary PROPs and nominal PROPs are equivalent. Thi
Externí odkaz:
http://arxiv.org/abs/2004.08380
Autor:
Balco, Samuel, Kurz, Alexander
We introduce nominal string diagrams as, string diagrams internal in the category of nominal sets. This requires us to take nominal sets as a monoidal category, not with the cartesian product, but with the separated product. To this end, we develop t
Externí odkaz:
http://arxiv.org/abs/1904.07534
We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone. As an
Externí odkaz:
http://arxiv.org/abs/1601.01113
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Balco, Samuel
This thesis is divided into two sections, encompassing two main topics: display calculi and nominal string diagrams. In the first section of the thesis, we introduce display calculi and present their advantages and drawbacks compared to sequent calcu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::13825da2e253102a2a3860bc099fa3b1
Publikováno v:
9th International Conference on Interactive Theorem Proving
9th International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom
9th International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::03d13d8e04c593581c3eac44b304fb86
https://hal.archives-ouvertes.fr/hal-01836507
https://hal.archives-ouvertes.fr/hal-01836507
Autor:
Greco, G., Balco, Samuel, Frittella, Sabine, Kurz, Alexander, Palmigiano, Alessandra, Avigad, J., Mahboubi, A., LS Linguistiek de taalinformatica, ILS LLI
Publikováno v:
Interactive Theorem Proving ISBN: 9783319948201
ITP
Interactive Theorem Proving, 10895(LNCS), 48. Springer Cham
ITP
Interactive Theorem Proving, 10895(LNCS), 48. Springer Cham
We present a software tool for reasoning in and about propositional sequent calculi for modal logics of actions. As an example, we implement the display calculus D.EAK of dynamic epistemic logic. The tool generates embeddings of the calculus in the t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e1cbbfb53ade8827b78cc1cdee2cc1e9
https://doi.org/10.1007/978-3-319-94821-8_4
https://doi.org/10.1007/978-3-319-94821-8_4