E-LIB Suche - Ergebnisse für: Acclavio, Matteo - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Sequent Systems on Undirected Graphs:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Acclavio, Matteo - p. 216-236 , 2024

Link: https://doi.org/10.1007/..

2

Canonicity of Proofs in Constructive Modal Logic:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

Acclavio, Matteo ; Catta, Davide ; Olimpieri, Federico - p. 342-363 , 2023

Link: https://doi.org/10.1007/..

3

Lorenzen-Style Strategies as Proof-Search Strategies:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,

Acclavio, Matteo ; Catta, Davide - p. 150-166 , 2023

Link: https://doi.org/10.1007/..

4

An Analytic Propositional Proof System on Graphs:

Acclavio, Matteo ; Horne, Ross ; Straßburger, Lutz
Logical Methods in Computer Science. 18, Issue 4 (2022) - p. , 2022

Link: https://doi.org/10.46298..

5

Game Semantics for Constructive Modal Logic:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

Acclavio, Matteo ; Catta, Davide ; Straßburger, Lutz - p. 428-445 , 2021

Link: https://doi.org/10.1007/..

6

Logic Beyond Formulas : A Proof System on Graphs:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,

Acclavio, Matteo ; Horne, Ross ; Straßburger, Lutz - p. 38-52 , 2020

Link: https://dl.acm.org/doi/1..

7

On Combinatorial Proofs for Modal Logic:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

Acclavio, Matteo ; Straßburger, Lutz - p. 223-240 , 2019

Link: https://doi.org/10.1007/..

8

On Combinatorial Proofs for Logics of Relevance and Entailm..:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,

Acclavio, Matteo ; Straßburger, Lutz - p. 1-16 , 2019

Link: https://doi.org/10.1007/..

9

Proof Diagrams for Multiplicative Linear Logic: Syntax and ..:

Acclavio, Matteo
Journal of Automated Reasoning. 63 (2018) 4 - p. 911-939 , 2018

Link: https://doi.org/10.1007/..

10

Infinitary Cut-Elimination via Finite Approximations:

Acclavio, Matteo ; Curzi, Gianluca ; Guerrieri, Giulio
Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). , 2024

Link: https://doi.org/10.4230/..

11

Infinitary cut-elimination via finite approximations:

Acclavio, Matteo ; Curzi, Gianluca ; Guerrieri, Giulio
http://arxiv.org/abs/2308.07789. , 2023

Link: http://arxiv.org/abs/230..

12

Graphical Proof Theory I: Sequent Calculi operating on Undi..:

Acclavio, Matteo
http://arxiv.org/abs/2305.12975. , 2023

Link: http://arxiv.org/abs/230..

13

Canonicity of Proofs in Constructive Modal Logic:

Acclavio, Matteo ; Catta, Davide ; Olimpieri, Federico
http://arxiv.org/abs/2304.05465. , 2023

Link: http://arxiv.org/abs/230..

14

An Analytic Propositional Proof System On Graphs:

Acclavio, Matteo ; Horne, Ross ; Strassburger, Lutz
info:eu-repo/semantics/altIdentifier/doi/10.46298/LMCS-18(4:1)2022. , 2022

Link: https://inria.hal.scienc..

15

A Graphical Proof Theory of Logical Time:

Acclavio, Matteo ; Horne, Ross ; Mauw, Sjouke.
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.FSCD.2022.22. , 2022

Link: https://inria.hal.scienc..

1-15