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

linear logicinductive logic programming

Mathematics Subject Classification ID

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

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)

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

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)