里普克语义或关系语义。
数学的建构主义.在古典逻辑的语义中，无论我们是否拥有对任何命题其中叙述情况的直接证据，命题公式都是从仅有两元素的集合 formula_19（即为“true” 和“false”）而评估其真值。这被称之为“排中律”：因为它摒除了“为真” 或“为假” 之外的其它任何值存在的可能性。相较之下，直觉主义逻辑中的命题公式并不赋予明确的真值，只有在我们有直接证据时才被认为是 “真实的”，因此才具有证明。（我们也可说命题是由直接证据才据以成立，而并非命题公式本身的叙述就是“