Analogical type theory

DOI10.1006/JSCO.1995.1002zbMath0845.03011OpenAlexW2029556081MaRDI QIDQ1895393

Bo Yi, Jia-Fu Xu

Publication date: 9 September 1996

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1995.1002

zbMATH Keywords

intuitionistic type theoryanalogical derivationanalogical judgmentformalization of analogy reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Second- and higher-order arithmetic and fragments (03F35) Other applications of logic (03B80)

Related Items (1)

Intuitive minimal abduction in sequent calculi

This page was built for publication: Analogical type theory