Generalized compactness of nonmonotonic inference operations

DOI10.1080/11663081.1995.10510846MaRDI QIDQ4835518zbMATH OpenOpenAlexFDO

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

compactnessnonmonotonic inferencenonmonotonic logicnonmonotonic consequence operationsdeductive framessupradeductivity

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1761407
• Compactness in finite probabilistic inference
• Nonmonotonic inference operations
• Two Representation Theorems for Non-monotonic Inference Relations
• Nonmonotonic reasoning: From finitary relations to infinitary inference operations
• Generalizations of ancillarity, completeness and sufficiency in an inference function space
• Invariant inference with provable complexity from the monotone theory
• Complexity Results for Nonmonotonic Logics
• Nonmonotonicity and answer set inference
• Herbrand's Theorem for Nonstandard Inference Operations

Cites work

• scientific article; zbMATH DE number 3124827 (Why is no real title available?)
• scientific article; zbMATH DE number 3930376 (Why is no real title available?)
• scientific article; zbMATH DE number 4104920 (Why is no real title available?)
• scientific article; zbMATH DE number 3659563 (Why is no real title available?)
• scientific article; zbMATH DE number 108002 (Why is no real title available?)
• scientific article; zbMATH DE number 140371 (Why is no real title available?)
• scientific article; zbMATH DE number 517025 (Why is no real title available?)
• scientific article; zbMATH DE number 520219 (Why is no real title available?)
• scientific article; zbMATH DE number 1761407 (Why is no real title available?)
• Nonmonotonic inference operations
• Nonmonotonic reasoning, preferential models and cumulative logics
• Nonmonotonic reasoning: From finitary relations to infinitary inference operations
• On Extensions of Elementary Logic

Cited in

(6)

• Nonmonotonic inference operations
• Nonmonotonic reasoning: From finitary relations to infinitary inference operations
• Deductive Nonmonotonic Inference Operations: Antitonic Representations
• scientific article; zbMATH DE number 517026 (Why is no real title available?)
• scientific article; zbMATH DE number 1761407 (Why is no real title available?)
• Supracompact inference operations

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

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