an uninterpreted symbolic system whose syntax is precisely defined, and on which a relation of deducibility is defined in purely syntactic terms; a logistic system
another name for formal system
Examples of 'formal theory' in a sentence
formal theory
Until now, research on translation was within the framework of a formal theory paradigm.
Christine Durieux 2009, 'Vers une théorie décisionnelle de la traduction', Revue LISAhttp://journals.openedition.org/lisa/119. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
At the moment no formal theory exists of these forms of sensorimotor communication and signaling.
Giovanni Pezzulo, Francesco Donnarumma, Haris Dindo 2013, 'Human sensorimotor communication: a theory of signaling in online social interactions.',PLoS ONEhttp://europepmc.org/articles/PMC3835897?pdf=render. Retrieved from PLOS CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)