The Logic of Property Based Types

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

Leave a Reply

Your email address will not be published. Required fields are marked *