没有合适的资源?快使用搜索试试~ 我知道了~
非真值函数多值语义的哲学和数学意义
116网址:http://www.elsevier.nl/locate/entcs/volume67.html15页非真函数多值性Jean-YvesBeziau1;2国家科学计算实验室,巴西摘要多值逻辑用逻辑矩阵来表示。它们是真实功能的。本文从哲学和数学的角度提出了非真值函数多值语义学关键词:多值逻辑,逻辑矩阵,非真值函数语义1引言本文的目的是为逻辑学的研究提供一个新的工具,即非真值函数多值语义学的概念。3在第一部分中,我们首先对多值逻辑4进行一般性讨论为了表明这个概念的哲学和数学意义究竟是什么,它在逻辑空间中处于什么位置在第二部分中,我们回顾了逻辑矩阵的定义和基于此概念的多值逻辑的标准定义。为了正确理解真值函数多值语义学和非真值函数多值语义学之间的区别,在这里有这些定义是很重要的,这些定义也值得x的术语,可能是误导和模糊的。1 多亏了乔·马科斯·维杰塔尔·德·阿尔梅达。工作得到了FAPERJ的支持2 电邮地址:3 非真值函数多值语义是几年前在我的一篇关于非经典逻辑的论文中首次引入的但在本文中,它们只是作为一个侧面概念出现。在某种意义上,本文是另外两篇文章([6],[19])的续篇,是独立的这篇论文[19]起源于对G.Malinowski关于多值逻辑的书[26]的讨论。这本小书很好地介绍了标准多值逻辑。4 我们将交替使用单数“多值逻辑”或复数“多值逻辑”,这取决于我们想要强调的内容。奇异表达式强调多值逻辑作为一个整体。2002年由ElsevierScienceB. V. 操作访问根据C CB Y-NC-N D许可证进行。117第一部分中非正式讨论的概念在这里给出了精确的含义,第三部分中我们适当地定义了非真值函数多值语义的概念,并给出了这种语义的一些例子。2逻辑矩阵=多值逻辑?2.1逻辑矩阵不能归约为多值逻辑多值逻辑是最著名的非经典逻辑之一 它们分别出现在十九世纪末/二十世 纪 初 不 同 人 物 的 作 品 中 , 主 要 是 C. S. Peirce , E. Post 和 J.Lukasiewicz。卢卡谢维奇的工作无疑是发展多值逻辑学中最重要的。其中一个原因是,卢卡谢维奇的工作促进了概念的逻辑矩阵,中心概念的建设多值逻辑,隐含在作品的皮尔士和邮政。逻辑矩阵的概念后来被系统地用于多值逻辑的发展。此外,逻辑矩阵的概念不仅用于生成多值逻辑。 例如,Bernays [2]使用多值矩阵, 证明经典命题逻辑公理集独立性的元逻辑层次。它也被Kleene[24]、Bochvar [13]或Girard [21]等人用于元数学层面。塔斯基认为,逻辑矩阵的概念可以作为零阶逻辑一般理论的基本工具。[5]事实上,这一概念在所谓的波兰逻辑中确实成为了基础。6因此,逻辑矩阵不能归约为多值逻辑。但反过来又如何呢:多值逻辑是否可归约为逻辑矩阵?为了生成多值逻辑,我们需要逻辑矩阵吗?2.2逻辑矩阵不违反二价性多值逻辑的定义是什么?人们可以把多值逻辑定义为违反二价原则的逻辑。但二价性原理是什么呢?它可以表述如下:二价原理一个命题是真或假的:它不能是真的和假的,或者既不真也不假。5在一个脚注的再版\调查的微积分”由Lukasiewicz和塔斯基在卷逻辑,语义学,元数学,塔斯基重新呼吁\的建设多值系统的逻辑描述,完全是由于Lukasiewicz和不应该被称为Lukasiewicz和塔斯基。”([35],p.38)。但后来当引入矩阵的概念时,他添加了以下脚注:“矩阵形成作为构造系统的一般方法的观点是由于塔斯基”([35],p.40)。6 关于零阶逻辑的一般理论,波兰逻辑和这个术语见[10]。118对这一原则的解释不一定是显而易见的。[7]例如,人们可以严重怀疑标准的多值逻辑是否挑战了这一原则。原因如下:二价原理通过指定值和非指定值之间的区别存在于多值矩阵中,正如G.Malinowski所强调的:受真值表启发的矩阵方法在将矩阵论域划分为指定元素和非指定元素的两个子集时体现了明显的二值性阴影。“([26],(p.72))。这种区别对于逻辑真理和逻辑后果的定义是至关重要的。例如,当我们有一个多值矩阵,有三个值0,1/2和1,因此称值0为真,值1为假,值1/2为不确定或真-假等是误导性的。因为逻辑真理被定义为“指定给每一个赋值”。同一个多值矩阵,根据指定值和非指定值的选择例如,Lukasiewicz只取1作为指定,但在构造次协调-帐篷逻辑时,人们取1/2和1作为指定(见[1],[20],[30],[31],[37],[28])。把1/2看作是指定的,但不把它称为真理,可能会导致对矩阵产生的逻辑的错误解释(见[11])。2.3Suszko对代数值和逻辑值的区分逻辑后果的概念似乎本质上是二价的(逻辑真的概念也是二价的,它是二价的一个特例)。如果一个人有一个因果关系,它可以在语义上解释:T`a意味着T的每个模型都是a的模型,而T6`a意味着存在一个T的模型,它不是a的模型。所以做模特还是不做模特,这是个问题。无论“模型中的真值”是如何定义的(使用几个指定值、解释、可访问性关系等),重要的是,在最后,我们有一个二分法,在一个模型中为真/在事实上,如果我们有一个后果关系,它总是可以找到一个二元语义,只是作为模型,一些理论的特征功能。正如Suszko所说:“简而言之,每个逻辑都是(逻辑上)二值的”([34],p.378)。Suszko确实为Lukasiewicz的三个多值逻辑L3提供了一个二价语义(参见[33])。 这可能听起来像一个悖论,因为L3被称为三个多值逻辑,因为它不能用二值矩阵来定义。但是Suszko的语义学不是一个矩阵语义学。值0和1在这个语义中不是代数的域,没有代数值,而是逻辑值,遵循Suszko的术语。7 二价原理经常与排中律混淆,有时与矛盾律混淆。 这种混淆已在[19]和[12]中讨论过,这里不再讨论,我们试图给出一个避免混淆的原则的公式。119在命题经典逻辑的情况下,代数值和逻辑值在某种意义上是一致的,因为极大理论的特征函数可以同时被看作是从公式集到f0;1g上的布尔代数的同态。但在大多数情况下,这种情况不会发生。因此,必须明确逻辑值和代数值之间的区别。在L3的情况下,我们有两个语义,一个有两个逻辑值,一个有三个代数值。但是,有些逻辑不能用(nite)矩阵来表征,因此没有代数值的语义。这就是达·科斯塔的次协调逻辑C1的例子(参见《逻辑学》)。[15],[4])。对于这种逻辑,提供了具有两个逻辑值的语义[16]。后来,达·科斯塔和他的学生们在这种语义学的基础上发展了一种逻辑的一般理论,称为“价值论”。[17],[18])。对于Suszko来说,“任何逻辑值的乘法都是一个疯狂的想法,事实上,Lukasiewicz并没有实现它”([34],p.378)。但什么是逻辑值呢?代数值/逻辑值的二分法不允许第三种可能性吗?本文的目的是提出多值语义的值不是代数值在Suszko的意义上,他们不是一个逻辑矩阵的代数元素。但我们不会疯狂到把这些值称为逻辑值,因为,就像在矩阵的情况下一样,我们将区分指定值和非指定值,以便定义新的逻辑真理和逻辑后果。人们可能想知道为什么要引入这种多值语义,每个逻辑都是二值的。 Lukasiewicz的逻辑L3具有二价语义,为什么要将值相乘并引入三值语义?这是因为这种三值语义给出了一个完全不同的L3的外观,是一个非常有用的技术工具来证明L3的定理和关于L3的元定理。8非真值函数(即非矩阵的)多值语义被引入(cf.[3])对于不具有真值功能语义的次协调逻辑C1正如我们已经说过的,这个逻辑具有二价语义学。但使用多值语义可以给出C1的更好的直观性,并简化证明,就像三值矩阵语义对L3所做的那样,即使这种多值语义不是真值泛函。非真值函数多值语义学是研究逻辑的一个有用工具。在矩阵语义的情况下,附加值在语义上是模糊的,在某种意义上,它们通过指定/未指定值的二分法来保持二价原则。但在矩阵语义的情况下,也可以使用这些非真值函数,8 反之亦然。L3 的非真值函数二价语义是由Suszko引入的,而不是作为一种“exercice de style”,它似乎没有进一步的实用性。然而,这种语义后来被用来提供一个L3的序列演算(见[9]),使用二价语义和序列演算之间的密切联系。120语义生成逻辑是多值的更深的意义。93多值逻辑3.1逻辑矩阵一个逻辑矩阵M是一个结构hA;Di,其中A是一个抽象代数hA;funi,D是代数A的定义域的一个子。fun是定义在A上的nite序列的nite函数(即nite的函数),称为真值函数。代数的类型是这个序列的长度和每个真值函数的元数的指定A的元素称为值,如果A的元素也是D的成员,则称为指定值,否则称为未指定值。给定基数,多值矩阵是值域为基数的矩阵.逻辑矩阵的一个典型例子是经典比例逻辑的二值矩阵:hhf 0;1g;:;_;^;!i;f1. 值得注意的是,这里的标志是\!“,例如,表示真值函数而不是连接函数。一般来说,人们和我们一样,对真值函数和连接词使用相同的这是一个有用的工具,但有时可能会误导(见[10])。这个2值矩阵是多值的,因为“2”是但根据标准约定,多值矩阵是基数大于或等于3的矩阵。3.2逻辑定义逻辑结构的方法有很多种,本文考虑逻辑结构的三种基本类型:L1=hF;`1i,L2=hF;`2i,L3=hF;`3一。对于所有这些结构,F是h型F;con i的绝对自由代数定义域F中的元素a称为公式。con是一系列被称为连接词的函数,它们从F的子集P生成F。P的元素p称为原子式。一组公式T称为理论。`1 是F的一个子集, 被称为互变逻辑。`2 是一个二元关系的理论和模型。 它被称为顺序关系.“3"是理论与理论之间的二元关系。 它被称为多重后果关系.在下文中,我们将使用逻辑这个词作为这三种结构的总称[9] G.Malinowski利用多值矩阵定义了一种不同于通常的推论关系,在某种意义上是多值的(见[27])。可以以类似的方式使用非真值函数多值语义。1213.3由逻辑矩阵逻辑矩阵用于生成逻辑。使用逻辑矩阵,可以通过统一方法生成类型1、2或3的逻辑给定一个矩阵M= hA;Di,我们考虑一个与A同类型的绝对自由代数F和F与A之间的同态集合HOM.HOM的一个元素将被称为形态赋值。 从F的生成元集合P到代数A的定义域A的函数称为原子形态赋值。由于绝对自由代数的基本性质,任何原子形态赋值都有一个唯一的扩张,即形态赋值。因此,考虑形态赋值或原子形态赋值是相同的,因为它们之间存在一一对应使用形态赋值的概念,我们现在定义F域上的集合和关系,这导致了逻辑结构的三种基本类型对于任何公式a和理论T,U:对于每一种形态的评价,(a)是一个指定值。T`2 a是每个形态赋值的一个指定值,如果(b)是T的每个元素b的一个指定值,则(a)是一个指定值。T`3对 于每个形态赋值,如果(b)是T的每个元素b的指定值,则存在U的元素c,使得(c)是指定值。给定一个逻辑L,可以说一个矩阵M刻画了L,或者说M是L的一个特征矩阵,i L是由M生成的逻辑。根据多值逻辑的标准定义,逻辑不是一个-值逻辑,如果它是或可以是由一个-值矩阵生成的。 如果这是定义,经典命题逻辑将是一个242值逻辑,因为事实上,它是不困难的,看到它可以由任何基数大于1的矩阵生成。逻辑L被称为- 值i是 最小基数,使得存在一个刻画L的-值矩阵。多值逻辑的一个典型例子是Lukasiewicz的三值逻辑,它是由一个三值矩阵生成的,不能用一个二值矩阵来刻画。关于“许多”的基数,这里适用与矩阵情况相同的约定:二值经典逻辑不称为多值逻辑,多值逻辑是至少是3值的逻辑4非真值函数多值性4.1真值泛函逻辑什么是真值函数逻辑?经典命题逻辑是真值函数的,那么直觉逻辑呢?各种模态逻辑等122我们可以说真值函数逻辑是一种可以用逻辑矩阵来表征的逻辑。然而,这个定义似乎太弱了,因为遵循它,几乎每一个逻辑都是真值函数的:根据一个著名的定理,其最初的想法是由于林登鲍姆,任何类型的逻辑1是结构性的,即在替换下接近,可以通过以下来表征:矩阵 这个定理在某种意义上可以推广到类型逻辑2和3(见[38])。一个合理的定义如下:真值函数逻辑是一个可以用尼特矩阵表征在这个意义上,直觉的,标准模态逻辑(S5,S4,K等),次协调逻辑C1、Ja skowski的讨论逻辑以及其他许多逻辑都不是真值泛函的。104.2非真值函数语义学根据我们对真值函数逻辑的定义,我们可以说真值函数语义学是一个nite矩阵。根据这一定义,非真值函数语义学是任何不是尼特矩阵的语义学。如果我们不明确什么是语义学,这个定义是相当模糊的。我们可以给出逻辑语义的一个非常一般的定义:语义是一个结构hR;mod i,其中R是一组被称为表示的对象,并将一个函数从公式集模到R的幂集,它将每个公式a与其中a为真的表示集mod(a例如,在L3的情况下,表示是从F到矩阵代数的同态,函数mod由下式定义:2mod(a)i(a)被指定。在模态逻辑的情况下,表示是框架,并且函数mod被定义为:2mod(a)ia在框架的每个可能世界中都为真。11现在让我们考虑一个非常简单的非真值函数语义学的例子,一个二价的例子。 我们考虑一个代数公式F建立只有两个连接,:和!定义了一组从Fin到f0;1g的函数B如下:2Bi(a!i(a)= 1且( b)= 0如果(a)= 1,则(:a)= 0。连接词:仅由经典否定条件的“一半”定义由该语义生成的逻辑(取1作为指定)被称为10 人们可以生成逻辑与逻辑矩阵在不同的其他方式比一个解释在前一节。F或例如,GOdel已经证明了直觉主义逻辑不能用一个nite矩阵来刻画[22],但Ja skowski已经证明了它可以用一组nite矩阵来定义[23]。Carnielli最近提出了一种用逻辑矩阵生成逻辑的新方法,使用这种方法,可以使用nite矩阵来解n是次协调逻辑C1(cf. [14])。无论如何,在目前看来,这种真值功能性的定义是比较合理的。11 更多关于语义学的一般定义可以在[5],[7]中找到123K=2,并已在[8]中研究。本文特别证明了经典逻辑在K=2时是可译的。这个逻辑是仿完全的,因为一个公式及其否定都可以是假的。如果我们以自然的方式引入一个析取,公式:(a _:a)就不是重言式。双赋值集B不是同态集,特别是不能由原子双赋值生成,即 函数从P到f0;1 g. 否定的双赋值行为可由下表说明12p:p*p::p00000001001001000101100010011010表1我们可以将这种非真值函数语义解释为:a的值“不由a的值决定”:如果公式a的值为1,:a的值必须为0,但如果其值为0,:a的值可以为0或1。然而,在这种语义中,蕴涵的行为是决定性的,因为如果我们知道两个直接子公式的值,我们知道这个条件的值。下表描述了蕴涵的双赋值行为12 将这样的表称为“真值表”是误导性的,这种相似性是视觉上的而不是概念上的,因为这个表不描述真值函数。无论如何,这种表可以用作一种判定方法。当我们说这个表是一个“例证”时,这恰恰意味着:给定B的任何双赋值,它对表的第一行中出现的公式集的限制与表的其他行中的一行重合;并且这些行中的任何一行都可以扩展到B的双赋值。这类表首次在[16]中提出。124pQp!Q001011100表24.3非真值函数多值语义我们将解释什么是非真值函数多值语义学,将前面的非真值函数二值语义学的例子推广到三值非真值函数语义学。在三值真值函数语义学中,一个公式的否定的值由这个公式的值决定。例如,在三值矩阵Lukasiewicz的情况下,如果公式的值是1/2,则其否定的值是1/2。现在在三值非真值函数语义学中,给定公式的值,其否定的值是不确定的。让我们考虑具有三个值f%; 0; 1g的三值非真值函数语义(a! b)未指定i(a)= 1且(b)未指定(a)= 0i(:a)= 1。(a)= 1i(:a)= 0。三个求反运算的行为可以描述如下:p:p*p%%%%%0%0101%0101%%1%0101表3125由这种三值非真值函数语义定义的逻辑实际上与K=2相同。这可以解释如下:在双值非真值函数语义的情况下,giv enp和:p,存在可以由下表描述的三种可能性:p:p000110表4现在在三值非真值函数语义学中,这三种可能性由三值描述,如下表所示:p%01表5读者可以检查表3是一个减少,在这种精神,表1。 这种归约可以通过以下定义系统化:给定K=2的二价非真值函数语义的二值化,我们定义如下的三值化:(a)=%i(a)=0且(:a)=0(a)=0i(a)=0和(:a)=1(a)=1i(a)=1and(:a)=0很容易看出,用这种方法,我们得到B和T之间的一一对应,使得:(a)被指定i(a)被指定。这证明了B和T产生的逻辑是相同的,即K=2。我们可以说,在K=2的三值非真值函数语义中,p的值中的某些信息已经由p的值给出。 但是这并不意味着:p的值由p的值决定。因此,人们可能对这种语义学的有用性有一些怀疑值的数量增加了,我们仍然有不确定性,而且真值泛函的蕴涵现在变得非真值泛函了,因为表2必须被下面的表取代:126pQp!Q%%1%01%110%10010111%%1%010%100111表6当p的值为1且q的值未指定时,%或0,则p的值!不确定q,因为它可以是%或0。现在让我们看一个更有说服力的非真值函数多值语义学的例子。假设我们修改B的定义,增加以下条件:if(a! b)=0且(b)6 =(:b)则(:(a!b))=1这个条件可以用下表来描述pQ :qp !Q:(p!Q )00010001100101010000100011010111010表7127在这个表中,我们不仅需要引入条件的直接子公式,而且需要引入条件的直接子公式的否定。现在我们可以在三值非真值函数语义中翻译”这个语义,将上述条件的“翻译”添加到定义Tif(a!b)=0和(b)=0,其中n=(a!b))=1其可通过下表描述:pQp !Q:(p!Q )% %10%010%1100%10001001101%%%1%%01%0110011110表8子公式:qd既不出现在a bove条件中,也不出现在相应的表中。三值非真值函数语义具有子公式性质,但不具有二值非真值函数语义。这基本上就是我们所获得的。5结论本文提出了多值非真值函数语义学的概念,并将其与多值真值函数语义学和二值非真值函数语义学进行了比较。我们试图通过一个三值非真值函数语义的例子来说明这个概念的有用性当然还有其他的例子。可以开发四值非真值函数语义学等。这些非真值函数多值语义通过区分指定与非指定,128值,但这也是矩阵真值函数多值逻辑的情况,所以它不能被认为是反对它们的论点,除非它也被认为是反对标准多值逻辑的论点。从真值函数多值性的观点看,多值逻辑是不能用二值矩阵刻画的逻辑如果我们想把这个定义推广到非真值函数的多值性,我们就面临一个问题,因为任何逻辑都可以用二值非真值函数语义来刻画。无论如何,多值逻辑的标准概念似乎很混乱。事实上,如果我们不把多值逻辑的矩阵定义限制为可以用nite矩阵来表征的逻辑,那么任何逻辑都是多值的(由于Lindenbaum定理),除了经典逻辑,这不是按照惯例,考虑到2不足以成为“许多”。在我们看来,多值逻辑的标准概念应该被撤销:可以用nite矩阵表征的逻辑应该被简单地称为真值泛函,加上它们可以用矩阵表征的最小基数。另一方面,应保留“多值语义”这一表述,但应扩展其含义,使其不仅包括nite或nite矩阵,而且包括非真值函数的多值语义。这些多值语义是研究重言式或结果关系集的逻辑的有用工具,但也可以用更激进的方式产生在更深意义上挑战二价原则的逻辑,真正名副其实的“多值逻辑”。引用[1] F.Asenjo , 1966 , \A calculus of antinomies” , Notre Dame Journal ofFormal Logic,7,103-105.[2] P.Bernays , 1926 , \AxiomatischeuntersuchungdesAussagenkulsderPrincipiaMathematica”,Mathematische Zeitschrifft,25,305-320.[3] J. - Y.B eziau,1990,\Logiques Quarterites suivant les m ethodes de daCosta”,LogiqueetAnalyse,131-132,259-272.[4] J. - Y. Beziau,1993,\Nouveaux r sultats et nouveau regard sur la logiqueparaconsistante C1”,Logique et Analyse,141-142,45-58.[5] J. - Y.B eziau,1995,Recherches sur la logique universelle,PhD,巴黎第七大学数学系。[6] J. - Y.Beziau,1997,什么是多值逻辑?”,第27届多值逻辑国际研讨会论文集,IEEE计算机学会,Los Alamitos,第117 -121页。[7] J. -杨文,1998,《抽象逻辑的研究:规范逻辑》,中国科学院学报大学Wratislaviensis,Logika,18,45-58.129[8] J. - Y. Beziau,1999,\Classical negation can be expressed by one of itshalves”,Logical Journal of the IGPL,7,145-151.[9] J. - Y.Beziau,1999,Lukasiewicz三值逻辑基于Suszko的二价语义学”,《逻辑学通报》,28,89-97。[10] J. - Y.Beziau,2000年,“波兰逻辑的哲学意义”,将出现在华沙大学的科学方法和哲学中。[11] J. - Y. B eziau,200?,次协调逻辑!”,出现。[12] J. - Y.B eziau,200?,《论排中律、矛盾律和二价律的关系》一文的出现,[13] D.A.Bochvar,1938,“关于三值微积分及其在经典扩展函数微积分悖论分析中的应用”(俄文),Mat emati c eskij Sbornik,4,387-308。[14] 王文,2000,“次协调逻辑的可能翻译语义学”,《次协调逻辑的前沿》,北京:清华大学出版社,2000。研究出版社,Baldock,第149 -163页。[15] NCA da Costa, 1963, \Calculs propositionels pour les systemes formelsinconsistants”,Comptes Rendus de l'Academie des Sciences de Paris, 257,3790-3793.[16] NCA da Costa and E.H.Alves,1977,\Asemantic analysis of the CalculiCn”,Notre Dame Journal of Formal Logic,16, 621-630.[17] N.C.A da Costa和J. -杨文生,1994,“数学逻辑中的价值问题”,第九届拉丁美洲数学逻辑研讨会论文集,第二卷,南加州大学,第95 -104页。[18] N.C.A da Costa和J. -Y. Beziau,1994,\Thereorie de la valuation”,Logique et Analyse,146,95-117.[19] N.C.A da Costa,J.-Y. Beziau,O.A.S.C.,1996,“Malinowski和Suszko论多值性:论多值性到二值性的还原”,现代逻辑,6,272-299。[20] I.M.L. D'Ottaviano和N.C. A da Costa,1970,“Sur un probleme de Jaskowski”,Comptes Rendus de l'Acad emie des Sciences de Paris,270,1349-1353.[21] J. -杨明,1976,“三值逻辑与割消:Takeuti猜想的实际意义”,《 数学论文》,第136页。[22] K.Godel,1932,\ZumintuitionisticicallychenAussagenkalkul”,AkademiederWissenschaften in Wien,Mathematisch-natuirwissenschaft Klasse,64,65-66.[23] 刘晓波,1996,《论直觉主义逻辑系统的研究》,载《科学哲学国际会议文集》,第六卷,第58 -61页。130[24] S.C.Kleene,1938,“On a notation for ordinal numbers”,The Journal ofSymbolic Logic,3, 150-155.[25] J. Lu kasiewicz,1920,\Ologicetroj wart osci owej”,RuchFilozo cn y,5,170-171.[26] 马林诺夫斯基,1993,多值逻辑,牛津大学出版社。[27] 林明,1994,“多值推理”,载《逻辑哲学》,北京:中国科学出版社,1995年,第75 -84页。[28] J.Marcos,2000,“8 K solutions and semi-solutions to a problem of daCosta”,在第二届世界次协调逻辑大会上发表的论文,即将出版。[29] G.Moisil,1972,Essais sur les logiques non-chrysipiennes,Acad emie de la Republique Socialiste de Roumanie,Bucarest.[30] [1]李明,1979,《悖论的逻辑学》,《哲学逻辑学报》,第8期,第219-241页。[31] L.Puga和N.C.A. da Costa,1988,\On the imaginary logicofN.A.Vasiliev”,ZeitschriftfurmathematischeLogikundGrundlagenderMathematik,34,205-211.[32] A.M. Setet,1973,\On the propositional calculus P1”,MathematicaJaponae,16,173-180.[33] 苏苏科,1975,“关于卢卡谢维奇三值逻辑的几点评论”,《逻辑学报》,第4期,第87 -90页。[34] R.Suszko,1977,“Fregean公理和20世纪20年代的波兰数理逻辑”,Studia Logica,36,377-380。[35] A.Tarski,1983年。逻辑,语义学,元数学,第二版,哈克特,印第安纳波利斯。[36] M.Tsuji,1998,\Many-valued logics and Suszko's Thesis revisited”,Studia Logica,60, 299-309.[37] Tuziak,1997,“多值次协调系统”,《逻辑与逻辑哲学》,第5卷,第121-127页。[38] 吴文,1988,逻辑演算理论,国立台湾师范大学。
下载后可阅读完整内容,剩余1页未读,立即下载
![.pdf](https://img-home.csdnimg.cn/images/20210720083646.png)
![text/x-c](https://img-home.csdnimg.cn/images/20210720083646.png)
![.pdf](https://img-home.csdnimg.cn/images/20210720083646.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
cpongm
- 粉丝: 4
- 资源: 2万+
上传资源 快速赚钱
我的内容管理 收起
我的资源 快来上传第一个资源
我的收益
登录查看自己的收益我的积分 登录查看自己的积分
我的C币 登录后查看C币余额
我的收藏
我的下载
下载帮助
![](https://csdnimg.cn/release/wenkucmsfe/public/img/voice.245cc511.png)
会员权益专享
最新资源
- 利用迪杰斯特拉算法的全国交通咨询系统设计与实现
- 全国交通咨询系统C++实现源码解析
- DFT与FFT应用:信号频谱分析实验
- MATLAB图论算法实现:最小费用最大流
- MATLAB常用命令完全指南
- 共创智慧灯杆数据运营公司——抢占5G市场
- 中山农情统计分析系统项目实施与管理策略
- XX省中小学智慧校园建设实施方案
- 中山农情统计分析系统项目实施方案
- MATLAB函数详解:从Text到Size的实用指南
- 考虑速度与加速度限制的工业机器人轨迹规划与实时补偿算法
- Matlab进行统计回归分析:从单因素到双因素方差分析
- 智慧灯杆数据运营公司策划书:抢占5G市场,打造智慧城市新载体
- Photoshop基础与色彩知识:信息时代的PS认证考试全攻略
- Photoshop技能测试:核心概念与操作
- Photoshop试题与答案详解
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035111.png)
安全验证
文档复制为VIP权益,开通VIP直接复制
![](https://csdnimg.cn/release/wenkucmsfe/public/img/green-success.6a4acb44.png)