Horn style deduction relation

DOI10.1007/BF02919439zbMath0909.03028OpenAlexW2365623338MaRDI QIDQ1267220

Yu-Ping Zhang

Publication date: 8 April 1999

Published in: Science in China. Series E (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02919439

zbMATH Keywords

nonmonotonic logicmodel theoryproof theoryHorn style deduction relations

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05)

This page was built for publication: Horn style deduction relation