Refutation Systems: An Overview and Some Applications to Philosophical Logics
Valentin Goranko, Gabriele Pulcini, Tomasz Skura
Topics & Concepts
EpistemologyComputer sciencePhilosophyLogic, Reasoning, and KnowledgeLogic, programming, and type systemsAdvanced Algebra and Logic