bn:00035928n
Noun Concept
Categories: Mathematical logic, Articles with short description
EN
mathematical logic  symbolic logic  formal logic  Applications of mathematical logic  formal logical systems
EN
Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity WordNet 3.0
Definitions
Relations
Sources
EN
Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity WordNet 3.0 & Open English WordNet
Mathematical logic is the study of formal logic within mathematics. Wikipedia
A branch of mathematics that grew out of symbolic logic Wikipedia Disambiguation
A subfield of mathematics with close connections to computer science and philosophical logic. OmegaWiki
A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems. Wiktionary
A formal system of deductive logic in which aspects and relationships of natural language are represented by a system of symbols. Wiktionary