Admissibility of Logical Inference Rules

By V. Rybakov. 2011

173 citations recorded by the source corpus.

Subfields: Artificial Intelligence

View Paper: https://www.semanticscholar.org/paper/a661f1702cbb7fd35970837dfc38bf43e82a4813