Paolo Gentilini

MaRDI QIDQ420831zbMATH OpenWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Informational logic for automated reasoning Logics in Artificial Intelligence	2019-10-08	Paper
Explicit constructive logic ECL: a new representation of construction and selection of logical information by an epistemic agent Fundamenta Informaticae	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 Journal of Applied Logic	2012-05-23	Paper
scientific article; zbMATH DE number 5997429 (Why is no real title available?)	2012-01-13	Paper
Abstract deduction and inferential models for type theory Information and Computation	2010-08-18	Paper
Paraconsistent conjectural deduction based on logical entropy measures. I: \(C\)-systems as non-standard inference framework Journal of Applied Non-Classical Logics	2009-11-30	Paper
Paraconsistent informational logic Journal of Applied Logic	2005-05-04	Paper
Proof-theoretic modal PA-completeness. III: The syntactic proof Studia Logica	2001-05-14	Paper
Proof-theoretic modal PA-completeness. I: A system-sequent metric Studia Logica	2000-06-07	Paper
Proof-theoretic modal PA-completeness. II: The syntactic countermodel Studia Logica	2000-06-04	Paper
Informational logic as a tool for automated reasoning Journal of Automated Reasoning	1998-08-24	Paper
scientific article; zbMATH DE number 937385 (Why is no real title available?)	1997-11-05	Paper
Syntactical results on the arithmetical completeness of modal logic Studia Logica	1994-10-09	Paper
PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC Mathematical Logic Quarterly	1994-07-11	Paper

Research outcomes over time

This page was built for person: Paolo Gentilini