Analogy calculus

DOI10.1016/0304-3975(93)90002-BMaRDI QIDQ1802070zbMATH OpenOpenAlexFDO

Authors Bo Yi, Jiafu 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

cut eliminationequational logicanalogical reasoninginterpolation theoremscalculus of sequents

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 970707
• Publication:3028367
• Analogical type theory
• scientific article; zbMATH DE number 4055580
• scientific article; zbMATH DE number 4049141

Cites work

• scientific article; zbMATH DE number 3954298 (Why is no real title available?)
• scientific article; zbMATH DE number 4049116 (Why is no real title available?)
• scientific article; zbMATH DE number 4049141 (Why is no real title available?)
• scientific article; zbMATH DE number 4055580 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• scientific article; zbMATH DE number 3090127 (Why is no real title available?)
• Analogy model and analogy correspondence
• Computational approaches to analogical reasoning: A comparative analysis
• Model theory
• Proof theory. 2nd ed

Cited in

(8)

• Analogical program derivation based on type theory
• Intuitive minimal abduction in sequent calculi
• scientific article; zbMATH DE number 4055580 (Why is no real title available?)
• Analogical type theory
• A computational model of analogical reasoning
• Reasoning in symbolic computation
• scientific article; zbMATH DE number 3171114 (Why is no real title available?)
• Grammatical Inference: Algorithms and Applications

Describes a project that uses

Uses Software

• Nuprl

This page was built for publication: Analogy calculus

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