💡 Words with a Similar Meaning to "Sequent calculus"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| sequentnoun | Something that follows in a given sequence. |
| 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. |
| logical calculusnoun | (logic) A formal system. |
| succedentnoun | (logic) The formulas on the right-hand side of a sequent. |
| hypersequentnoun | (mathematics) A multidimensional generalization of a sequent |
| inference rulenoun | (logic, proof theory) A rule for combining (or modifying) well-formed formulas of a formal language in a truth-preserving manner (to yield new well-formed formulas). |
| infinite regressnoun | (logic) A regress into an infinite sequence of propositions in an attempt to found the truth of the proposition Pᵢ on the truth of the proposition Pᵢ₊₁. |
| formal logicnoun | (logic) Mathematical logic. |
| quasiderivation | — |
| 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. |
| 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. |
| sentential calculusnoun | Synonym of propositional calculus. |
| forward reasoningnoun | (philosophy, logic) In artificial intelligence, modus ponens. |
| inductionnoun | An act of inducting. |
| propositional calculusnoun | (logic) Propositional logic. |
| mathematical inductionnoun | (mathematics) A method of proof which, in terms of a predicate P, could be stated as: if P(0) is true and if for any natural number n>0, P(n) implies P(n+1), then P(n) is true for any natural number n. |
| predicate calculusnoun | (logic) The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse. |
| second-order logicnoun | A formal system which extends first-order logic by allowing quantification over relations between members of the universe. |
| 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. |
| deductionnoun | A sum that can be removed in tax calculations, usually from the taxable amount; something that is written off. |
Translate “Sequent calculus” into Another Language
Pick a language — the word will be pre-filled in the translator.