Induction in linear logic

DOI10.1007/BF02302230MaRDI QIDQ674992zbMATH OpenOpenAlexFDO

Authors Fumihiko Yamaguchi, Masakazu Nakanishi

Publication date 6 March 1997

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02302230

zbMATH Keywords

inductive logic programminglinear logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Review text

Very preliminary attempt to transfer some elementary notions of inductive logic programming into linear logic.

Cites work

• scientific article; zbMATH DE number 4053069 (Why is no real title available?)
• scientific article; zbMATH DE number 771635 (Why is no real title available?)
• Inductive Logic Programming: Theory and methods
• Logic program synthesis

Cited in

(6)

• Rewriting Induction + Linear Arithmetic = Decision Procedure
• scientific article; zbMATH DE number 1082080 (Why is no real title available?)
• scientific article; zbMATH DE number 7003195 (Why is no real title available?)
• scientific article; zbMATH DE number 5263431 (Why is no real title available?)
• scientific article; zbMATH DE number 3254846 (Why is no real title available?)
• Lemmaless induction in trace logic

This page was built for publication: Induction in linear logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674992)