Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Goranko, Valntin"'
The non-deterministic algorithmic procedure PEARL (an acronym for `Propositional variables Elimination Algorithm for Relevance Logic') has been recently developed for computing first-order equivalents of formulas of the language of relevance logics R
Externí odkaz:
http://arxiv.org/abs/2108.06603
