...
机译:真相图与命题逻辑的现存符号
Department of Informatics University of Sussex Brighton BN1 9QH UK;
Diagrams; Notations; Propositional logic; Sentential calculus; Truth diagrams; Formula notation; Truth-tables; Frege conceptual notation; Wittgenstein Tractatus; Venn diagrams; Gardner shuttle networks; Pierce existential graphs;
机译:基于语言真值格蕴涵代数的语言真值格蕴命题逻辑系统lP(X)
机译:关于命题逻辑的Frege's Begriffsschrift符号:设计原则和权衡
机译:命题逻辑的各种表示法之间进行转换的代码书
机译:具有真理常数的命题产品逻辑的高符号研究
机译:图表符号的可重新定向在线识别。
机译:验证命题的真实性:真实性评估过程的行为和ERP指标
机译:基于LIA的语言真实性的直观模糊主题逻辑