FDE
a logic of clutters
pp. 163-172
Abstract
We uncover a "naturally occurring" first degree system, AL of Articular Logic that is both relevant and paraconsistent. The principal semantic innovation is an informationally articulated, but nevertheless entirely classical representation of wffs as clutters (Clutters are also referred to as simple hypergraphs in some contexts.) on the power set of a set of possible states. The principal methodological novelty is the general observation that distinct classical representations of wffs can be selected and combined with redeployments of classical inference to accommodate particular inferential requirements such as paraconsistency and relevance.
Publication details
Published in:
Tanaka Koji, Berto Francesco, Mares Edwin D., Paoli Francesco (2013) Paraconsistency: logic and applications. Dordrecht, Springer.
Pages: 163-172
DOI: 10.1007/978-94-007-4438-7_10
Full citation:
Jennings R. E., Chen Y. (2013) „FDE: a logic of clutters“, In: K. Tanaka, F. Berto, E. D. Mares & F. Paoli (eds.), Paraconsistency, Dordrecht, Springer, 163–172.