TERMIUM Plus®
From: Translation Bureau
On social media
Consult the Government of Canada’s terminology data bank.
MACHINE LOGIQUE [5 records]
Record 1 - internal organization data 2026-01-08
Record 1, English
Record 1, Subject field(s)
- Artificial Intelligence
Record 1, Main entry term, English
- logical theory machine
1, record 1, English, logical%20theory%20machine
correct
Record 1, Abbreviations, English
Record 1, Synonyms, English
Record 1, French
Record 1, Domaine(s)
- Intelligence artificielle
Record 1, Main entry term, French
- machine de théorie logique
1, record 1, French, machine%20de%20th%C3%A9orie%20logique
correct, feminine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
Record 1, Textual support, French
Record 1, Spanish
Record 1, Textual support, Spanish
Record 2 - internal organization data 2012-07-05
Record 2, English
Record 2, Subject field(s)
- Electronic Circuits Technology
Record 2, Main entry term, English
- facer-canceller logic circuit 1, record 2, English, facer%2Dcanceller%20logic%20circuit
Record 2, Abbreviations, English
Record 2, Synonyms, English
Record 2, French
Record 2, Domaine(s)
- Technologie des circuits électroniques
Record 2, Main entry term, French
- circuit de commande de la logique de la machine à redresser et à oblitérer
1, record 2, French, circuit%20de%20commande%20de%20la%20logique%20de%20la%20machine%20%C3%A0%20redresser%20et%20%C3%A0%20oblit%C3%A9rer
masculine noun
Record 2, Abbreviations, French
Record 2, Synonyms, French
Record 2, Textual support, French
Record 2, Spanish
Record 2, Textual support, Spanish
Record 3 - internal organization data 1990-12-10
Record 3, English
Record 3, Subject field(s)
- Artificial Intelligence
- Computer Programs and Programming
Record 3, Main entry term, English
- logic machine architecture
1, record 3, English, logic%20machine%20architecture
correct
Record 3, Abbreviations, English
- LMA 1, record 3, English, LMA
correct
Record 3, Synonyms, English
Record 3, Textual support, English
Record number: 3, Textual support number: 1 DEF
A layered family of software tools designed to enable the efficient and flexible use and development of significant theorem proving systems. 1, record 3, English, - logic%20machine%20architecture
Record 3, French
Record 3, Domaine(s)
- Intelligence artificielle
- Programmes et programmation (Informatique)
Record 3, Main entry term, French
- architecture de machine logique
1, record 3, French, architecture%20de%20machine%20logique
correct, feminine noun
Record 3, Abbreviations, French
Record 3, Synonyms, French
Record 3, Textual support, French
Record 3, Spanish
Record 3, Textual support, Spanish
Record 4 - internal organization data 1988-04-20
Record 4, English
Record 4, Subject field(s)
- Artificial Intelligence
- Philosophy (General)
Record 4, Main entry term, English
- logical machine
1, record 4, English, logical%20machine
correct
Record 4, Abbreviations, English
Record 4, Synonyms, English
Record 4, Textual support, English
Record number: 4, Textual support number: 1 DEF
Peirce's notion of a reasoning, problem-solving machine that differs from any other machine merely in working upon an excessively simple principle which is applied in a manyfold and complex way, instead of upon an occult principle applied in a monotonous way. The only thing that matters is whether the result which the logical machine turns out has a relation to the data with which it is fed, which relation may be considered from the point of view of whether the former could be false so long as the latter are true. 1, record 4, English, - logical%20machine
Record 4, French
Record 4, Domaine(s)
- Intelligence artificielle
- Philosophie (Généralités)
Record 4, Main entry term, French
- machine logique
1, record 4, French, machine%20logique
feminine noun
Record 4, Abbreviations, French
Record 4, Synonyms, French
Record 4, Textual support, French
Record number: 4, Textual support number: 1 OBS
Terminologie de Peirce. 1, record 4, French, - machine%20logique
Record 4, Spanish
Record 4, Textual support, Spanish
Record 5 - internal organization data 1987-01-30
Record 5, English
Record 5, Subject field(s)
- Artificial Intelligence
- Computers and Calculators
Record 5, Main entry term, English
- logic machine
1, record 5, English, logic%20machine
correct
Record 5, Abbreviations, English
Record 5, Synonyms, English
Record 5, Textual support, English
Record number: 5, Textual support number: 1 CONT
Half of the computers sold in 1993 will contain artificial intelligence components rather than arithmetic components and will be called logic machines. 1, record 5, English, - logic%20machine
Record 5, French
Record 5, Domaine(s)
- Intelligence artificielle
- Ordinateurs et calculateurs
Record 5, Main entry term, French
- machine logique
1, record 5, French, machine%20logique
correct, feminine noun
Record 5, Abbreviations, French
Record 5, Synonyms, French
Record 5, Textual support, French
Record 5, Spanish
Record 5, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2026
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
GCtranslate (available on the Government of Canada network only)
Use this artificial intelligence prototype to translate Government of Canada content up to and including Protected B. Available to employees of selected departments and agencies only.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified: