Open AccessParaconsistent resolution
Author(s) -
Michał Walicki,
Sjur K. Dyrkolbotn
Publication year - 2022
Publication title -
australasian journal of logic
Language(s) - Uncategorized
Resource type - Journals
ISSN - 1448-5052
DOI - 10.26686/ajl.v19i3.6471
Subject(s) - semantics (computer science) , resolution (logic) , relevance (law) , syntax , digraph , mathematics , computer science , artificial intelligence , algebra over a field , theoretical computer science , algorithm , discrete mathematics , programming language , pure mathematics , political science , law