mathematical logic


Also found in: Dictionary, Encyclopedia, Wikipedia.
Graphic Thesaurus  🔍
Display ON
Animation ON
Legend
Synonym
Antonym
Related
  • noun

Synonyms for mathematical logic

any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

References in periodicals archive ?
The party puzzle represents a special case of a theorem that appeared in one of Ramsey's papers on mathematical logic.
With research foundations that trace back to the 1930s in mathematical logic theory, TRS represent the core of a new hardware generation approach developed in MIT labs by Professor Arvind, the Johnson Professor of Computer Science and Engineering, and his students.
Of these three chapters, the most fascinating is that treating molecular propositions since it not only adverts, in general, to parallel treatments in modern sentential logic but also shows the extent to which medieval logicians constructed formal inference rules of the highest level of abstraction, centuries before such rules were "discovered" in the development of modern mathematical logic.
It may seem counterintuitive, but domains such as mathematical logic, chemical compounds and demographics are easy to capture and represent through a system, whereas acquiring common sense is an enormous challenge.
This leads to a largely informal exposition of Tarski-style model set theoretical semantics, and the modern limiting metatheoretical results underlying what the authors call the "crisis" in the foundations of mathematical logic.
In the project's extensive use of FOUNDATION fieldbus, control algorithms -- the mathematical logic on which the automation system is based -- operate in 83 of the system's 85 Fisher FIELDVUE(R) digital valve controllers.
The project will develop a unified effort to bridge mathematical logic, philosophy of mathematics and metaphysics.
He introduced paradoxist distiches, tautologic distiches, and dualistic distiches, which were inspired by the mathematical logic.
As Martinez is also Argentinian, and has a PhD in mathematical logic, he is uniquely qualified to undergo this task.
The titular connectives are 'and', 'or', 'if, and 'not'; each is studied extensively using the tools of modern mathematical logic.
Over the course of her long career, Carmen Herrera has filled thousands of sheets of tracing paper, drawing innumerable variations based on mathematical logic.
But applying mathematical logic rules can help untangle the hair balls and build a better artificial representation of a cell, Ion Moraru and Michael Blinov of the University of Connecticut Health Center in Farmington suggest online November 21 in BMC Biology.
With this introductory material out of the way, chapters six and seven focus on the historical and systematic process of formalizing mathematics, and on the rise and contours of mathematical logic.
Full browser ?