Generalized compactness of nonmonotonic inference operations
From MaRDI portal
Publication:4835518
DOI10.1080/11663081.1995.10510846zbMATH Open0838.03020OpenAlexW1990927756MaRDI QIDQ4835518FDOQ4835518
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
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
compactnessnonmonotonic inferencenonmonotonic logicnonmonotonic consequence operationsdeductive framessupradeductivity
Cites Work
- Nonmonotonic reasoning, preferential models and cumulative logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On Extensions of Elementary Logic
- Nonmonotonic reasoning: From finitary relations to infinitary inference operations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Nonmonotonic inference operations
- Title not available (Why is that?)
Cited In (6)
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)