KR-language : Message: proposition names revisited

KR-language

Having problems with message search? Fill out this form to ensure your group is one of the first to be migrated to the new message search system.

proposition names revisited

Message #613 of 712 |

When I originally added proposition names to mKR,

in version 7.1, I included forms like

name :: sentence ;

Version 8.2 now includes forms like

name ;

Some legal mKR propositions look like

first-order logic. For example,

if p; then q; else r; fi;

where p,q,r are proposition names.

Mon Jun 8, 2009 7:09 am

"Richard H. McCullough" <rhm@...>

rhmcc

Offline

Message #613 of 712 |

Expand Messages	Author	Sort by Date
When I originally added proposition names to mKR, in version 7.1, I included forms like name :: sentence ; Version 8.2 now includes forms like name ; Some...	Richard H. McCullough rhmcc	Jun 8, 2009 7:12 am