General patterns for nonmonotonic reasoning: from basic entailments to plausible relations

DOI10.1093/jigpal/8.2.119zbMath0966.03024OpenAlexW2081336204MaRDI QIDQ4952020

Ofer Arieli, Arnon Avron

Publication date: 24 July 2001

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/6197b34a0af3a7e55c6b489ddd5e19455cc62acc

zbMATH Keywords

nonmonotonic reasoningpreferential modelparaconsistent reasoningmultiple-valued semanticsmultiple conclusion consequence relationplausible consequence relation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Paraconsistent logics (03B53)

Related Items (10)

A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information ⋮ Adaptively applying modus ponens in conditional logics of normality ⋮ Constrained consequence ⋮ Reasoning with Uncertainty by Nmatrix–Metric Semantics ⋮ Unnamed Item ⋮ Reasoning with prioritized information by iterative aggregation of distance functions ⋮ A dissimilarity-based framework for generating inconsistency-tolerant logics ⋮ CUMULATIVITY WITHOUT CLOSURE OF THE DOMAIN UNDER FINITE UNIONS ⋮ Reasoning with different levels of uncertainty ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)

This page was built for publication: General patterns for nonmonotonic reasoning: from basic entailments to plausible relations