Intuitionist Logic, a Logic of Justification

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Studia logica 1978-09, Vol.37 (3), p.243-260
1. Verfasser:	Kearns, John T.
Format:	Artikel
Sprache:	eng
Schlagworte:	Deductive reasoning Inference Logic Logical disjunction Logical theorems Mathematical intuitionism Respect Semantics Truth Truth condition
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!