Definable deduction relation

DOI10.1007/BF02917056MaRDI QIDQ1283085zbMATHOpenAlexFDO

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

model theorydefinabilitynonmonotonic logicdefault 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)

Recommendations

• Deductively definable logics of induction
• Deducibility and exactness
• scientific article; zbMATH DE number 4001523
• Дедуктивные логики и их связь с интуиционистской логикой
• scientific article; zbMATH DE number 50606
• On definability in dependence logic
• Logical analysis of definitional deduction
• Definability under duality
• Deduction-seeking procedures and transitive relations
• Definable relations in Turing degree structures

Cites work

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

Cited in

(1)

• A context for belief revision: forward chaining-normal nonmonotonic rule systems

This page was built for publication: Definable deduction relation

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