Paolo Gentilini

Available identifiers

Publication	Date of Publication	Type
Informational logic for automated reasoning	2019-10-08	Paper
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent	2016-08-15	Paper
Paraconsistent arithmetic with a local consistency operator and global selfreference	2013-12-04	Paper
Proof theory and mathematical meaning of paraconsistent C-systems	2012-05-23	Paper
https://portal.mardi4nfdi.de/entity/Q3112287	2012-01-13	Paper
Abstract deduction and inferential models for type theory	2010-08-18	Paper
Paraconsistent conjectural deduction based on logical entropy measures. I: \(C\)-systems as non-standard inference framework	2009-11-30	Paper
Paraconsistent informational logic	2005-05-04	Paper
Proof-theoretic modal PA-completeness. III: The syntactic proof	2001-05-14	Paper
Proof-theoretic modal PA-completeness. I: A system-sequent metric	2000-06-07	Paper
Proof-theoretic modal PA-completeness. II: The syntactic countermodel	2000-06-04	Paper
Informational logic as a tool for automated reasoning	1998-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4896526	1997-11-05	Paper
Syntactical results on the arithmetical completeness of modal logic	1994-10-09	Paper
PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC	1994-07-11	Paper

This page was built for person: Paolo Gentilini