Paraconsistent resolution
Author(s) -
Michał Walicki,
Sjur Dyrkolbotn
Publication year - 2022
Publication title -
the 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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom