English Dictionary

intuitionistic logic

名詞

(mathematics, logic) A type of logic which rejects the axiom law of excluded middle or, equivalently, the law of double negation and/or Peirce's law. It is the foundation of intuitionism.

日本語の意味

直観主義論理：排中律（または同値で二重否定法則やピアースの法則）を拒否する論理体系であり、直観主義の基礎となる論理。

The seminar explored how intuitionistic logic reshapes the notion of truth in constructive mathematics.

セミナーでは、直観主義論理が構成的数学における真理の概念をどのように変えるかが議論された。

意味（1）

(mathematics, logic) A type of logic which rejects the axiom law of excluded middle or, equivalently, the law of double negation and/or Peirce's law. It is the foundation of intuitionism.

intuitionistic logics （ plural ）