A Proof System for Modeling Reasoning Processes in Propositional Logic
Paper in proceedings, 2006

Author

Claes Strannegård

Chalmers, Applied Information Technology (Chalmers)

Bulletin of Symbolic Logic

Vol. 12 5 347-

Subject Categories

Philosophy

Philosophy, Ethics and Religion

More information

Created

10/8/2017