Analogy calculus

DOI10.1016/0304-3975(93)90002-BzbMATH Open0784.68083OpenAlexW2913641506MaRDI QIDQ1802070FDOQ1802070

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

Recommendations

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

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)

Cites Work

• Title not available (Why is that?)
• Model theory
• Title not available (Why is that?)
• Proof theory. 2nd ed
• Title not available (Why is that?)
• Computational approaches to analogical reasoning: A comparative analysis
• Analogy model and analogy correspondence
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (8)

• Intuitive minimal abduction in sequent calculi
• Analogical type theory
• Grammatical Inference: Algorithms and Applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reasoning in symbolic computation
• Analogical program derivation based on type theory
• A computational model of analogical reasoning

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)