Difference between revisions of "SCL/For Harry/4"

From Public Domain Knowledge Bank
Jump to: navigation, search
(Created page with "== conventional First-Order Logic (GOFOL) == {{red}} All of this causes problems for interoperability and information exchange None of it is actually required by the FO sema...")
 
Line 1: Line 1:
 
== conventional First-Order Logic (GOFOL) ==
 
== conventional First-Order Logic (GOFOL) ==
  
{{red}}
+
{{red|
 
All of this causes problems for interoperability and information exchange  
 
All of this causes problems for interoperability and information exchange  
 
None of it is actually required by the FO semantics
 
None of it is actually required by the FO semantics
{{red}}
+
}}

Revision as of 16:55, 26 March 2021

conventional First-Order Logic (GOFOL)

All of this causes problems for interoperability and information exchange None of it is actually required by the FO semantics