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