Horn style deduction relation

DOI10.1007/BF02919439MaRDI QIDQ1267220zbMATH OpenOpenAlexFDO

Authors Yuping 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

Horn style deduction relationsmodel theorynonmonotonic logicproof theory

Mathematics Subject Classification ID

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

Recommendations

• Definable deduction relation
• scientific article; zbMATH DE number 1975410
• Deduction in non-Horn databases
• A relational model for the logic of deduction
• Parsing as non-Horn deduction

Cited in

(1)

• A relational model for the logic of deduction

This page was built for publication: Horn style deduction relation

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