Analogy calculus

DOI10.1016/0304-3975(93)90002-BzbMath0784.68083OpenAlexW2913641506MaRDI QIDQ1802070

Bo Yi, Jia-Fu Xu

Publication date: 27 March 1994

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(93)90002-b

zbMATH Keywords

equational logiccut eliminationanalogical reasoninginterpolation theoremscalculus of sequents

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Cut-elimination and normal-form theorems (03F05)

Related Items (3)

A computational model of analogical reasoning ⋮ Intuitive minimal abduction in sequent calculi ⋮ Analogical program derivation based on type theory

Uses Software

• Nuprl

Cites Work

• Proof theory. 2nd ed
• Computational approaches to analogical reasoning: A comparative analysis
• Analogy model and analogy correspondence
• Model theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Analogy calculus