1.2.4  
Predicate Logic  
home page  
Boolean algebra (aka propositional calculus, propositional logic) is as simple a transformation system as you can find. To make it useful, the system needs to be extended to include equality and quantification and functions and relations. Each of these can be handled separately, with quantification and equality being fundamental. Much of the work on Predicate Logic is yet to be added to this page. Coming attraction: a Predicate Logic engine for database queries and deduction based entirely on boundary math (spatial) concepts. 

boundary math  
boundary logic  


transforms  
comparison  
complexity  
∆ predicate  


links  
site structure  
The first piece is an older presis of the extension of Losp to Predicate Calculus. The second piece is a discussion of the theory of equality.

