Paolo Gentilini

Publication Activity (10 Years)

Years Active: 1986-2015
Publications (10 Years): 1

Top Topics

Logical Representation

Partial Information

Information Sharing

Top Venues

Fundam. Informaticae

Publications

Paolo Gentilini, Maurizio Martelli, Giuseppe Rosolini
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent. Fundam. Informaticae 140 (3-4) (2015)
Paolo Gentilini, Maurizio Martelli
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent. CILC (2013)
Paolo Gentilini
Proof theory and mathematical meaning of paraconsistent C-systems. J. Appl. Log. 9 (3) (2011)
Paolo Gentilini, Maurizio Martelli
Abstract deduction and inferential models for type theory. Inf. Comput. 208 (7) (2010)
Paolo Gentilini
Paraconsistent Arithmetic with a Local Consistency Operator and Global Selfreference. Electron. Notes Theor. Comput. Sci. 169 (2007)
Paola Forcheri, Paolo Gentilini
Paraconsistent Informational Logic. J. Appl. Log. 3 (1) (2005)
Paola Forcheri, Paolo Gentilini
Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework. J. Appl. Non Class. Logics 15 (3) (2005)
Paolo Gentilini
Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof. Stud Logica 63 (3) (1999)
Paolo Gentilini
Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel. Stud Logica 63 (2) (1999)
Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino
Informational Logic in Knowledge Representation and Automated Deduction. AI Commun. 12 (4) (1999)
Paolo Gentilini
Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric. Stud Logica 63 (1) (1999)
Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino
Informational Logic as a Tool for Automated Reasoning. J. Autom. Reason. 20 (1) (1998)
Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino
Informational Logic for Automated Reasoning. JELIA (1996)
Paolo Gentilini
Syntactical results on the arithmetical completeness of modal logic. Stud Logica 52 (4) (1993)
Paolo Gentilini
Provability Logic in the Gentzen Formulation of Arithmetic. Math. Log. Q. 38 (1) (1992)
Marco Borga, Paolo Gentilini
On the Proof Theory of the Modal Logic Grz. Math. Log. Q. 32 (10-12) (1986)