Induction in linear logic

DOI10.1007/BF02302230zbMath0872.03006OpenAlexW2022904937MaRDI QIDQ674992

Masakazu Nakanishi, Fumihiko Yamaguchi

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

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

Cites Work

• Logic program synthesis
• Inductive Logic Programming: Theory and methods
• Unnamed Item
• Unnamed Item

This page was built for publication: Induction in linear logic