Definable deduction relation

DOI10.1007/BF02917056zbMath0921.03038OpenAlexW1984266912MaRDI QIDQ1283085

Yu-Ping Zhang

Publication date: 29 September 1999

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

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

zbMATH Keywords

nonmonotonic logicmodel theorydefinabilitydefault reasoningatomless Boolean algebrasmany-extensions propertynonmonotonic deduction relation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Classical first-order logic (03B10) Interpolation, preservation, definability (03C40)

Cites Work

• A logic for default reasoning
• Model theory
• Definability and commonsense reasoning

This page was built for publication: Definable deduction relation