\(R\)-reconstruction in open logic
From MaRDI portal
Publication:1895515
zbMath0823.68105MaRDI QIDQ1895515
Publication date: 9 August 1995
Published in: Chinese Science Bulletin (Search for Journal in Brave)
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Other applications of logic (03B80)
This page was built for publication: \(R\)-reconstruction in open logic