Paraconsistent resolution

DOI10.26686/AJL.V19I3.6471MaRDI QIDQ5039834zbMATH OpenOpenAlexFDO

Authors Michał Walicki, Sjur Dyrkolbotn

Publication date 4 October 2022

Published in The Australasian Journal of Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1906.03476

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• scientific article; zbMATH DE number 5050044
• Resolving infinitary paradoxes
• Theory of effective propositional paraconsistent logics
• Automatic reasoning in paraconsistent logic
• scientific article; zbMATH DE number 1269574

Cited in

(8)

• Stratified resolution
• Simultaneous categorical resolutions
• Resolving infinitary paradoxes
• The theorem of Richardson and its generalizations: a survey
• Gersten resolution with support
• scientific article; zbMATH DE number 5050044 (Why is no real title available?)
• Paraconsistency, resolution and relevance
• The structure of paradoxes in a logic of sentential operators

This page was built for publication: Paraconsistent resolution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5039834)