iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://scholar.google.com/scholar?q=Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.