• 1 WEST 4.55

Accepting PhD Students

20012018
If you made any changes in Pure these will be visible here soon.

Research Output 2001 2018

2018
1 Citation (Scopus)
23 Downloads (Pure)

Subatomic Proof Systems: Splittable Systems

Aler Tubella, A. & Guglielmi, A., 1 Feb 2018, In : ACM Transactions on Computational Logic. 19, 1, p. 1-33 33 p., 5.

Research output: Contribution to journalArticle

Open Access
File
Blueprints
Cut-elimination
Proof System
Linear Logic
Atoms
2017
3 Citations (Scopus)
19 Downloads (Pure)

Removing Cycles from Proofs

Aler Tubella, A., Guglielmi, A. & Ralph, B., 20 Aug 2017.

Research output: Contribution to conferencePaper

File
2016
3 Citations (Scopus)
74 Downloads (Pure)

Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae

Guglielmi, A., Bruscoli, P., Gundersen, T. & Parigot, M., 3 May 2016, In : Logical Methods in Computer Science. 12, 2, p. 1-30 30 p., 5.

Research output: Contribution to journalArticle

Open Access
File
2015
32 Downloads (Pure)

Deep Inference

Guglielmi, A., 2015, All About Proofs, Proofs for All. College Publications, (Mathematical Logic and Foundations).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
2014
2 Citations (Scopus)

A Logical Basis for Quantum Evolution and Entanglement

Blute, R., Guglielmi, A., Ivanov, I., Panangaden, P. & Straßburger, L., 2014, Categories and Types in Logic, Language, and Physics. Springer, Vol. 8222. p. 90-107 18 p. (Lecture Notes in Computer Science; vol. 8222).

Research output: Chapter in Book/Report/Conference proceedingChapter

inference
logic
apexes
strings
tensors
2011
15 Citations (Scopus)

A system of interaction and structure IV: The exponentials and decomposition

Straburger, L. & Guglielmi, A., Jul 2011, In : ACM Transactions on Computational Logic. 12, 4, 23.

Research output: Contribution to journalArticle

Flow graphs
Linear Logic
Decomposition
Compositionality
Decompose
13 Citations (Scopus)
56 Downloads (Pure)

A system of interaction and structure V: the exponentials and splitting

Guglielmi, A. & Straburger, L., Jun 2011, In : Mathematical Structures in Computer Science. 21, 3, p. 563-584 22 p.

Research output: Contribution to journalArticle

File
Algebra
Cut-elimination
Linear Logic
Decomposition
Express
2010
16 Citations (Scopus)
31 Downloads (Pure)

A proof calculus which reduces syntactic bureaucracy

Guglielmi, A., Gundersen, T. & Parigot, M., 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Dagstuhl, Germany: Leibniz International Proceedings in Informatics, Vol. 6. p. 135-150 16 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Calculus
Sequent Calculus
Proof System
Cut-elimination
Propositional Logic
11 Citations (Scopus)
67 Downloads (Pure)

A quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae

Bruscoli, P., Guglielmi, A., Gundersen, T. & Parigot, M., 2010, Logic for programming, artificial intelligence, and reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, revised selected papers. Clarke, E. M. & Voronkov, A. (eds.). Berlin: Springer, p. 136-153 18 p. (Lecture Notes in Computer Science; vol. 6355).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Cut-elimination
Propositional Logic
Trace
Sequent Calculus
Monotone
14 Citations (Scopus)
80 Downloads (Pure)

Breaking paths in atomic flows for classical logic

Guglielmi, A., Gundersen, T. & Straburger, L., Jul 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science, LICS . IEEE, p. 284-293 10 p. (Proceedings - Symposium on Logic in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
logic
circuit breakers
elimination
diagrams
symmetry
2009
36 Citations (Scopus)
89 Downloads (Pure)

On the proof complexity of deep inference

Bruscoli, P. & Guglielmi, A., Feb 2009, In : ACM Transactions on Computational Logic. 10, 2, 34 p., 14.

Research output: Contribution to journalArticle

Open Access
File
Proof Complexity
Proof System
Substitution reactions
Substitution
Speedup

Personal portrait of Giorgio Levi

Guglielmi, A., 2009, In : Theoretical Computer Science. 410, 46, p. 4605-4607 3 p.

Research output: Contribution to journalArticle

2008
33 Citations (Scopus)
79 Downloads (Pure)

Normalisation control in deep inference via atomic flows

Guglielmi, A. & Gundersen, T., 31 Mar 2008, In : Logical Methods in Computer Science. 4, 1, p. 1-36 36 p., 9.

Research output: Contribution to journalArticle

Open Access
File
Syntactics
Normalization
Atoms
Cut-elimination
Inference Rules
2007
82 Citations (Scopus)

A system of interaction and structure

Guglielmi, A., 2007, In : ACM Transactions on Computational Logic. 8, 1

Research output: Contribution to journalArticle

Sequent Calculus
Interaction
Calculus
Logical operator
Cut-elimination
2006
2 Citations (Scopus)

On Structuring Proof Search for First Order Linear Logic

Bruscoli, P. & Guglielmi, A., 2006, In : Theoretical Computer Science. 360, 1-3, p. 42-76 35 p.

Research output: Contribution to journalArticle

Proof Search
Linear Logic
Logic programming
Syntactics
First-order Logic
2005

The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference

Guglielmi, A., 2005, p. 53-68. 16 p.

Research output: Contribution to conferencePaper

2004

A First Order System with Finite Choice of Premises

Bruennler, K. & Guglielmi, A., 2004, First-Order Logic Revisited. Hendricks, V. F., Neuhaus, F., Andur Pederson, S., Scheffler, U. & Wansing, H. (eds.). Logos Verlag, p. 59-74 16 p. (Logische Philosophie).

Research output: Chapter in Book/Report/Conference proceedingChapter

Inference
Order systems
Logic

A Non-commutative Extension of Multiplicative Exponential Linear Logic

Guglielmi, A. & Straßburger, L., 2004, Technische Universitaet Dresden.

Research output: Working paperDiscussion paper

Cut-elimination
Linear Logic
Multiplicative
Logical operator
Sequent Calculus
2003
1 Citation (Scopus)

A Tutorial on Proof Theoretic Foundations of Logic Programming

Bruscoli, P. & Guglielmi, A., 2003, Logic Programming, 19th International Conference - Lecture Notes in Computer Science. Springer, Vol. 2916. p. 109-127 19 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Logic programming
Computer programming languages

On Structuring Proof Search for First Order Linear Logic

Bruscoli, P. & Guglielmi, A., 2003, p. 389-406. 18 p.

Research output: Contribution to conferencePaper

Semantics
2002
17 Citations (Scopus)

A Non-commutative Extension of MELL

Guglielmi, A. & Strassburger, L., Oct 2002, p. 231-246. 16 p.

Research output: Contribution to conferencePaper

Linear Logic
Multiplicative
Cut-elimination
Sequent Calculus
Logical operator
2001
59 Citations (Scopus)

Non-commutativity and MELL in the Calculus of Structures

Guglielmi, A. & Strassburger, L., Sep 2001, p. 54-68. 15 p.

Research output: Contribution to conferencePaper

Noncommutativity
Cut-elimination
Sequent Calculus
Calculus
Linear Logic