Generalized compactness of nonmonotonic inference operations

DOI10.1080/11663081.1995.10510846zbMath0838.03020OpenAlexW1990927756MaRDI QIDQ4835518

H.Herre

Publication date: 27 May 1996

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1995.10510846

zbMATH Keywords

nonmonotonic logiccompactnessnonmonotonic inferencenonmonotonic consequence operationsdeductive framessupradeductivity

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cites Work

• Nonmonotonic reasoning, preferential models and cumulative logics
• Nonmonotonic reasoning: From finitary relations to infinitary inference operations
• Nonmonotonic inference operations
• On Extensions of Elementary Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Generalized compactness of nonmonotonic inference operations