Paolo Gentilini

According to our database, Paolo Gentilini authored at least 16 papers between 1986 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent.

Paolo Gentilini, Maurizio Martelli, Giuseppe Rosolini

Fundam. Informaticae, 2015

2013

Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent.

Paolo Gentilini, Maurizio Martelli

Proceedings of the 28th Italian Conference on Computational Logic, 2013

2011

Proof theory and mathematical meaning of paraconsistent C-systems.

Paolo Gentilini

J. Appl. Log., 2011

2010

Abstract deduction and inferential models for type theory.

Paolo Gentilini, Maurizio Martelli

Inf. Comput., 2010

2006

Paraconsistent Arithmetic with a Local Consistency Operator and Global Selfreference.

Paolo Gentilini

Proceedings of the Workshop on Logic, Models and Computer Science, 2006

2005

Paraconsistent Informational Logic.

Paola Forcheri, Paolo Gentilini

J. Appl. Log., 2005

Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework.

Paola Forcheri, Paolo Gentilini

J. Appl. Non Class. Logics, 2005

1999

Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof.

Paolo Gentilini

Stud Logica, 1999

Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel.

Paolo Gentilini

Stud Logica, 1999

Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric.

Paolo Gentilini

Stud Logica, 1999

Informational Logic in Knowledge Representation and Automated Deduction.

Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino

AI Commun., 1999

1998

Informational Logic as a Tool for Automated Reasoning.

Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino

J. Autom. Reason., 1998

1996

Informational Logic for Automated Reasoning.

Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

1993

Syntactical results on the arithmetical completeness of modal logic.

Paolo Gentilini

Stud Logica, 1993

1992

Provability Logic in the Gentzen Formulation of Arithmetic.

Paolo Gentilini

Math. Log. Q., 1992

1986

On the Proof Theory of the Modal Logic Grz.

Marco Borga, Paolo Gentilini

Math. Log. Q., 1986