The Gellish Communicator reference application Welcome to the Gellish Communicator reference application. The Communicator software demonstrates capabilities of using Gellish Formalized English or Formalized Dutch (Geformaliseerd Nederlands). The Communicator app imports a few sections of the Gellish Taxonomic Dictionary and can then import messages/files in Gellish Expression format. It then verifies their content on the correctness of the expressions. The software also enables expressing and executing queries in Gellish, thus enabling searching for any modeled information knowledge and requirements, including . . .
Category: Knowledge Base
Logical deduction: reasoning and implications
Logical deduction: reasoning and implications
Logical deduction in Gellish is a process of deriving ideas about things that are not recorded as explicit expressions in Gellish but are consequences of existing expressions on the basis of logic rules. This process is described in the article Logic Reasoning and Implications, which is stored as a pdf file.
