Results 151 to 160 of about 1,037 (173)
Some of the next articles are maybe not open access.
Combinators for Paraconsistent Attitudes
2001In order to analyse the semantics of natural language sentences a translation into a partial type logic using lexical and logical combinators is presented. The sentences cover a fragment of English with propositional attitudes like knowledge, belief and assertion.
openaire +1 more source
Paraconsistency for the Working Software Engineer (Extended Abstract)
IEEE International Conference on Software Engineering and Formal MethodsL. Barbosa
semanticscholar +1 more source
Walter Carnielli on Reasoning, Paraconsistency, and Probability
Outstanding Contributions to Logicsemanticscholar +1 more source
Supra-logic: using transfinite type theory with type variables for paraconsistency
Journal of Applied Non-Classical Logics, 2005Jørgen Villadsen
exaly
Negative Modalities in the Light of Paraconsistency
Studies in Universal Logic, 2015Hitoshi Omori, Omori Hitoshi
exaly
Combining classical logic, paraconsistency and relevance
Journal of Applied Logic, 2005Arnon Avron
exaly