Informational logic for automated reasoning

DOI10.1007/3-540-61630-6_25zbMath1427.68291OpenAlexW1608609041MaRDI QIDQ5236445

Paolo Gentilini, Maria Teresa Molfino, Paola Forcheri

Publication date: 8 October 2019

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61630-6_25

zbMATH Keywords

inductive inferencepossibilistic logicautomated theorem provinginduction ruleinformational context

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Proof theory. 2nd ed
• The number of proof lines and the size of proofs in first order logic
• Proving Theorems about LISP Functions
• A note on the number of zeros of polynomials and exponential polynomials
• PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC
• Some Results on the Length of Proofs

This page was built for publication: Informational logic for automated reasoning