bn:00035928n
Noun Concept
Categories: Mathematical logic, Fields of mathematics, Pages using sidebar with the child parameter, Philosophy of mathematics, Logic
EN
symbolic logic  mathematical logic  formal logic  20th century in mathematical logic  Applications of mathematical logic
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
The use of symbols for logical operations in logic and mathematics 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