Legris, Javier
Eine epistemische Interpretation der intuitionistischen Logik

Der Autor versteht seine Arbeit als Versuch, die intuitionistische Logik durch epistemische Begriffe zu rekonstruieren. Diese Rekonstruktion beruht auf formalen Beziehungen zwischen der intuitionistischen Logik und einem System der epistemischen Logik, dem zufolge jede intuitionistisch gültige Aussage sich als Ausdruck eines Wissens betrachten lässt. Somit ist die Arbeit ein Anwendungsbeispiel epistemischer Logik. 138 Seiten, broschiert (Unipress. Reihe Philosophie; Band 6/Königshausen & Neumann 1990)