more on this theme | more from this thinker | more from this text
Full Idea
Beth trees give a semantics for intuitionistic logic, by representing sentence meaning in terms of conditions under which it is recognised to have been established as true.
Gist of Idea
Beth trees show semantics for intuitionistic logic, in terms of how truth has been established
Source
Michael Dummett (The Justification of Deduction [1973], p.305)
Book Ref
Dummett,Michael: 'Truth and Other Enigmas' [Duckworth 1978], p.305