💡 Words with a Similar Meaning to "Constructive logic"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| constructivismnoun | (philosophy, psychology) A psychological epistemology which argues that humans generate knowledge and meaning from their experiences. |
| logicnoun | (uncountable) A method of human thought that involves thinking in a linear, step-by-step manner about how a problem can be solved. Logic is the basis of many principles including the scientific method. |
| propositional logicnoun | (logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives. |
| linear logicnoun | (logic) A logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both "additive" and "multiplicative" versions of the typical binary connectives and truth constants; and which has a pair of modal, "exponential" operators for resource management, to help make up for the loss of the two structural rules. |
| positive logicnoun | (logic) A logical system or fragment thereof not containing a negation operator. |
| mathematical logicnoun | (logic) 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. |
| formal logicnoun | (logic) Mathematical logic. |
| logicismnoun | (philosophy) The doctrine that mathematics is a branch of logic in that some or all mathematics is reducible to logic. |
| conservative extensionnoun | (mathematics, logic) An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory. |
| natural deductionnoun | A kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning, in contrast to axiomatic systems. |
| proof systemnoun | (logic) A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them. |
| analysisnoun | (countable) Decomposition into components in order to study (a complex thing, concept, theory, etc.). |
| boolean logicnoun | (computing, logic, mathematics) A system of symbolic logic that is the basis of Boolean algebra |
| computability logicnoun | (computing, mathematics) a formal theory of computability |
| proof by contradictionnoun | (mathematics, logic) The proof of a statement adduced by deriving a contradiction from the statement's negation. |
| predicate logicnoun | (logic) First-order logic. |
| sublogicnoun | (mathematics) A subset of a system of logic |
| classical logicnoun | (logic) A kind of logic based on the principles that each proposition has a truth value of either "true" or "false", but not both, and that if a proposition were to be both true and false or neither true nor false then a result would be that all propositions would be both true and false. |
| logical calculusnoun | (logic) A formal system. |
| formulanoun | A plan or method for dealing with a problem or for achieving a result. |
Translate “Constructive logic” into Another Language
Pick a language — the word will be pre-filled in the translator.