The Logic of Property Based Types
When: TBD
Venue: TBD
Where: TBD
Abstract: The logic of property based types is a theory of reasoning with structures and processes analogous to those of concepts and deductive reasoning in the human mind. In contrast with classical logic, PBT logic is a sound, reasons validly about anything imaginable, is devoid of paradoxes, distinguishes between things and their references, does not require existence and guarantees valid results in the absence of complete information. This presentation discusses the objectives for PBT logic, the resulting characteristics and how they were achieved