3 ms·

Thanks trobertson. This may be what I need. So, may I presume that the notation of (Prof) Carl Hewitt’s Direct Logic is consistant with that of First-Order Log

Thanks trobertson. This may be what I need. So, may I presume that the notation of (Prof) Carl Hewitt’s Direct Logic is consistant with that of First-Order Logic?

ProfHewitt 7y ago
Actually, the notation used above is for strongly-typed higher-order theories. See the following: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3418003 https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3418003 https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3459566 https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3459566