Paraconsistent resolution

DOI10.26686/AJL.V19I3.6471OpenAlexW4296335927MaRDI QIDQ5039834

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)

This page was built for publication: Paraconsistent resolution