Supracompact inference operations

DOI10.1007/BF01057658zbMath0792.03014MaRDI QIDQ1313087

Michael Freund

Publication date: 19 January 1994

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

rational monotonicitycumulative logicinjective ranked modelsnonmonotonic consequence operationssupracompact operations

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items

Nonmonotonic reasoning: From finitary relations to infinitary inference operations, A characterization theorem for injective model classes axiomatized by general rules

Cites Work

• The Gärdenfors impossibility theorem in non-monotonic contexts
• Nonmonotonic reasoning, preferential models and cumulative logics
• Rationality, transitivity, and contraposition