Definable deduction relation

DOI10.1007/BF02917056zbMATH Open0921.03038OpenAlexW1984266912MaRDI QIDQ1283085FDOQ1283085

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

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

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)

Cites Work

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

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)