Using classical resolution method to check derivability for some propositional paralogics and adaptive logics.
| Title | Using classical resolution method to check derivability for some propositional paralogics and adaptive logics. |
| Publication Type | Journal Article |
| Authors | Klijn, A |