Defines four FEL variants with evaluation-tree semantics and complete axiomatizations, plus three-valued extensions where the strongest matches Bochvar's strict logic.
Title resolution pending
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
verdicts
UNVERDICTED 4representative citing papers
Axioms for fracterm calculus of partial meadows are given with an interpretation into bot-enlargements establishing semi-computability of the logic and that such enlargements yield common meadows.
ASPIC+ frameworks with uncertain preferences have limited expressivity relative to abstract uncertain-defeat models, shown via negative results and preliminary proofs toward a conjectured non-trivial threshold.
The authors define Deontic Argumentation Theory and introduce a new semantics supporting weak permission, unlike grounded semantics in obligation conflicts.
citing papers explorer
-
Some Results about the Expressivity of Preference-Incomplete Structured Argumentation Frameworks
ASPIC+ frameworks with uncertain preferences have limited expressivity relative to abstract uncertain-defeat models, shown via negative results and preliminary proofs toward a conjectured non-trivial threshold.
-
Deontic Argumentation
The authors define Deontic Argumentation Theory and introduce a new semantics supporting weak permission, unlike grounded semantics in obligation conflicts.