Logic (mathematics)

mathematical logic

(Philosophy / Logic) (Mathematics) symbolic logic, esp that branch concerned with the foundations of mathematics

ThesaurusLegend: Synonyms Related Words Antonyms

Noun

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

formal logic, symbolic logic

logical system, system of logic, logic - a system of reasoning

Boolean algebra, Boolean logic - a system of symbolic logic devised by George Boole; used in computers

propositional calculus, propositional logic - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

functional calculus, predicate calculus - a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

modal logic - a system of logic whose formal properties resemble certain moral and epistemological concepts

fuzzy logic - a form of mathematical logic in which truth can assume a continuum of values between 0 and 1

Mentioned in	?		Dictionary browser	?		Full browser	?
Boolean algebra Boolean logic Calculus of operations formal logic functional calculus fuzzy logic logic logical system modal logic predicate calculus Prolog propositional calculus propositional logic symbolic logic system of logic Whitehead	logarithmic Logarithmic curve logarithmic function logarithmic scale Logarithmic spiral Logarithmically logarithmomancy logbook Logcock loge Loggan Loggat Logge Logged logger loggerhead loggerhead shrike loggerhead turtle Loggerheaded loggerheads loggia logginess logging logia logic Logic (mathematics) logic array logic bomb logic cell logic circuit logic diagram logic element logic gate logic level logic operation logic operator logic programing logic programming logical logical argument logical atomism logical consequence logical constant logical diagram logical empiricism logical fallacy logical form logical implication Logical impossibility Logical induction logical operation	logging off logging off logging on logging on logging on logging on logging out logging out logging out logging out Logging Routes Logging Tool Logging Utility for Java Logging While Drilling Loggorhoea LOGGS Logh LOGHELO LOGHM Logi logia Logia, Jesu logic logic logic logic logic Logic & Information Network Compiler II Logic (math) Logic (math) Logic (mathematics) Logic (maths) Logic (maths) Logic (symbolic) Logic (symbolic) Logic 0 Logic 1 Logic analyser Logic Analysis Workstation Logic analyzer Logic analyzers Logic and Artificial Intelligence Logic and Communication in Multi-Agent Systems Logic and Computational Complexity Logic and Heuristics Applied to Synthetic Analysis Logic and Information Network Compiler Logic and Intelligent Interaction Logic and Language Logic and Multi Agent Systems Logic and Philosophy of Science Logic and Reason Logic and Search Logic and Semantics for Dummies Logic and Systems Biology Logic and the Foundations of Game and Decision Theory Logic and the Simulation of Interaction and Reasoning logic array logic array

Mentioned in

Dictionary browser

Full browser

Boolean algebra
Boolean logic
Calculus of operations
formal logic
functional calculus
fuzzy logic
logic
logical system
modal logic
predicate calculus
Prolog
propositional calculus
propositional logic
symbolic logic
system of logic
Whitehead

logging off
logging off
logging on
logging on
logging on
logging on
logging out
logging out
logging out
logging out
Logging Routes
Logging Tool
Logging Utility for Java
Logging While Drilling
Loggorhoea
LOGGS
Logh
LOGHELO
LOGHM
Logi
logia
Logia, Jesu
logic
logic
logic
logic
logic
Logic & Information Network Compiler II
Logic (math)
Logic (math)

Logic (mathematics)

Logic (maths)
Logic (maths)
Logic (symbolic)
Logic (symbolic)
Logic 0
Logic 1
Logic analyser
Logic Analysis Workstation
Logic analyzer
Logic analyzers
Logic and Artificial Intelligence
Logic and Communication in Multi-Agent Systems
Logic and Computational Complexity
Logic and Heuristics Applied to Synthetic Analysis
Logic and Information Network Compiler
Logic and Intelligent Interaction
Logic and Language
Logic and Multi Agent Systems
Logic and Philosophy of Science
Logic and Reason
Logic and Search
Logic and Semantics for Dummies
Logic and Systems Biology
Logic and the Foundations of Game and Decision Theory
Logic and the Simulation of Interaction and Reasoning
logic array
logic array

mathematical logic (redirected from Logic (mathematics))

mathematical logic
(redirected from Logic (mathematics))