10-Elements Linguistic Truth-Valued Intuitionistic Fuzzy First-Order Logic System

This paper presents 10-elements linguistic truth-valued intuitionistic fuzzy algebra and the properties based on the linguistic truth-valued implication algebra which is fit to express both comparable and incomparable information.This method can also deal with the uncertain problem which has both positive evidence and negative evidence at the same time.10-elements linguistic truthvalued intuitionistic fuzzy first-order logic system has been established in the intuitionistic fuzzy algebra.

Resolution Method of Six-Element Linguistic Truth-Valued First-Order Logic System

Based on 6-elements linguistic truth-valued lattice implication algebras this paper discusses 6-elements linguistic truth-valued first-order logic system. With some special properties of 6-elements linguistic truth-valued first-order logic, we discussed the satisfiable problem of 6-elements linguistic truth-valued first-order logic and proposed a resolution method of 6-elements linguistic truth-valued firstorder logic. Then the resolution algorithm is presented and an example illustrates the effectiveness of the proposed method.

Paraconsistent Annotated Logic in Analysis of Physical Systems:Introducing the Paraquantum Factor of Quantization h_(ψ)

We present in this paper an alternative of modeling physical systems through a non-Classical logic namely the Paraconsistent Logic (PL) whose main feature is the revocation of the principle of non-contradiction. The Paraconsistent Annotated Logic with annotation of two values (PAL2v) is a type of PL and has in its theoretical structure the main feature of dealing with contradictions offering flexibility in drawing conclusions. Several works about applications of PAL2v have shown that such logic is able to provide us with an adequate treatment to uncertainties. Based on the foundations of the PAL2v we presented the ParaQuantum logic (PQL) with the goal of performing analysis of signals from information sources which model physical systems. The formalization of the concepts of the logics PQL, that it is represented in a Lattice, requires the considering of Paraquantum logical states ψ which are propagated through variations of the evidence Degrees μ and λ which come out from measurements performed in Observable Variables in the physical world. When we analyze the lattice of the PQL, we obtain equations which quantify values of physical quantities from where we obtain the effects of propagation of the Paraquantum logical states ψ. In this paper, we introduce the Paraquantum Factor of quantization hψ whose value is associated with a special logical state on the lattice which is identified with the Planck constant h. We conclude through these studies that the Paraquantum Logical Model based on the ParaQuantum logics PQL can link the several fields of the physical sciences by means of quantization of values. It is an innovative approach of formulating natural phenomena.

Analysis of Physical Systems with Paraconsistent Annotated Logic: Introducing the Paraquantum Gamma Factor γ_(ψ)

In this paper we use a non-classical logic called ParaQuantum Logic (PQL) which is based on the foundations of the Paraconsistent Annotated logic with annotation of two values (PAL2v). The formalizations of the PQL concepts, which is represented by a lattice with four vertices, leads us to consider Paraquantum logical states ψ which are propagated by means of variations of the evidence Degrees extracted from measurements performed on the Observable Variables of the physical world. In this work we introduce the Paraquantum Gamma Factor γPψ which is an expansion factor on the PQL lattice that act in the physical world and is correlated with the Paraquantum Factor of quantization hψ whose value is associated with a special logical state on the lattice which is identified with the Planck constant h. Our studies show that the behavior of the Paraquantum Gamma Factor γPψ, at the time of reading the evidence Degrees through measurements of the Observable Variables in the physical world, is identical to that one of the Lorentz Factor γ used in the relativity theory. In the final part of this paper we present results about studies of expansion and contraction of the Paraquantum Logical Model which correlate the factors γPψ, and γ. By applying these correlation factors, the lattice of the PQL suitable for the universe understudy can be contracted or expanded, allowing the quantization model to cover the several study fields of physics.

Analysis of the Spectral Line Emissions of the Hydrogen Atom with Paraquantum Logic

In this work we presented a study of the obtaining of the spectral line emissions of the hydrogen atom using equations that are originated from the foundations of the Paraquantum Logic (PQL). Based on a class of logics called Paraconsistent Logics with annotation of two values (PAL2v), PQL performs a logical treatment on signals obtained by measurements on physical quantities which are considered Observable Variables in the physical world. In the process of application of the PQL the obtained values are transformed in Evidence Degrees and represented on a Lattice of four Vertices where special equations transform these degrees into Paraquantum logical states ψ which propagate. This allows creating Paraquantum logical models of physical systems of the real world. Using the paraquantum equations, we investigated the hydrogen atom spectrum and his main series known. We performed a numerical comparative study that applies the Paraquantum Logical Model to calculate the wavelengths values. The values of wavelengths obtained by the Paraquantum Equations are compared by the results found by the Rydberg formula and are verified that the series of the spectral line emissions of the hydrogen atom can be identified with the representative Lattices of the Paraquantum Logic. Through the application of the Paraquantum equations it was found a numeric value relates the layers of Paraquantum model of the Hydrogen atom. This value represents a constant that relates the Lattices that compose the Paraquantum universe, and it was denominated Paraquantum Structure Constant, whose symbol is αψ. The obtained results of the comparison demonstrate that the Paraquantum Logic comes with good possibilities of being the ideal logic to model our physical reality.

An Introductory Study of the Hydrogen Atom with Paraquantum Logic

Paraquantum Logics (PQL) has its origins in the fundamental concepts of the Paraconsistent Annotated Logics (PAL) whose main feature is to be capable of treating contradictory information. Based on a class of logics called Paraconsistent Logics with annotations of two values (PAL2v), PQL performs a logical treatment on signals obtained by measurements on physical quantities which are considered Observable Variables in the physical world. In the process of application of the PQL the obtained values are transformed in Evidence Degrees and represented on a Lattice of four Ver- tices where special equations transform these degrees into Paraquantum logical states ψ which propagate. The propagation of Paraquantum logical states provides us with results which can be interpreted and modeled through phenomena studied in physics. Using the paraquantum equations, we investigate the effects of balancing of Energies and the quantization and transience properties of the Paraquantum Logical Model in real Physical Systems. As a demonstration of the usage of the paraquantum equations we perform a numerical comparative study that applies the PQL to the Bohr’s model to find the energy levels of the Hydrogen atom. It is verified that the values of energy in each level of the Paraquantum logical model of the Hydrogen atom are close to the values found by the conventional way. The results through the Paraquantum Logic allow considering other important properties of the atom, as the forecast of number of electrons in each layer.

Relativity Theory and Paraquantum Logic—Part II:Fundamentals of an Unified Calculation

The studies of the PQL are based on propagation of Paraquantum logical states ψ in a representative Lattice of four vertices. Based in interpretations that consider resulting information of measurements in physical systems are found paraquantum equations for computation of the physical quantities in real physical systems. In the first part of this work we presented a study of Relativity theory which involved the time and the space with their characteristics as degrees of evidence applied in Paraquantum Logical Model. Now, in this second Part we present a study of application of the PQL in resolution of phenomena of physical systems that involve concepts of the Relativity Theory and the correlation of these effects with the Newtonian Universe and Quantum Mechanics. Considering physical fundamental quantities varying periodically in amplitude, we introduce the paraquantum equations which consider frequency in the analysis. From of these mathematical relationships obtained in the PQL Lattice some main physical constants related to the studies of De Broglie appeared. With the equations of Energy obtained through the analyses is demonstrated that the Paraquantum Logic is capable to correlate values and to unify the several study areas of the Physical Science.

Study of the Interactions between Particles Based in Paraquantum Logic

Paraquantum Logic (P QL ) has its origins in the fundamental concepts of the Paraconsistent Annotated Logic (PAL) whose main feature is to be capable of treating contradictory information. In this work we presented a study of application of the P QL in resolution of phenomena of physical systems that involves the interactions between physical bodies or particles. Initially is considered that each particle or physical body that is in the physical world has a representative Lattice in the Paraquantum world. From this consideration is made a study of the phenomena of Paraquantum Entanglement modeling the interaction between particles based in fundamental concepts of the Paraquantum Logic. The mathematical relationships of representative Lattices of the Paraquantum Logic originate models with values that are identified with some physical constants. In this work these paraquantum values are identified with the Universal constant of Gravity, proposed by Newton, and the constant K, that relates the Interaction Force in charged particles in the Coulomb’s Law. The results showed that the Paraquantum Logical Model elaborated starting from the fundamental concepts of the Paraquantum Logic (P QL ) is adequate to support theories based in a Paraquantum Universe built by an infinite amount of Lattices and forming a Paraquantum net of infinite dimensions.

Relativity Theory and Paraquantum Logic—Part I:The Time and Space in the Paraquantum Logical Model

From fundamental concepts of the Paraconsistent Annotated Logic with annotation of two values (PAL2v), whose main feature is to be capable of treating contradictory information, was created the Paraquantum Logic (PQL). The studies of the PQL are based on propagation of Paraquantum logical states ψ in a representative Lattice of four vertices. Based in interpretations that consider resulting information of measurements in physical systems, are found two Paraquantum factors: the Paraquantum Gamma Factor γPΨ, that has his action in the measurements of Observable Variables in the Physical world and the Paraquantum Factor of quantization hΨ, which has his action in the Paraquantum World represented by the PQL Lattice. Correlation between γPΨ and hΨ produces paraquantum equations for computation of the physical quantities in real physical systems. In this work we present a study of application of the PQL in resolution of phenomena of physical systems that involve concepts of the Relativity Theory. Initially the time t is considered like an Observable Variable and the paraquantum analysis is done with the same conditions assumed in the relativity theory for the study of the time dilatation. After the time considerations, paraquantum equations are involved with the space-time and velocity creating conditions for a relativistic/paraquantum analysis. In the part II of this work a new approaches of the relativistic phenomena in the Paraquantum Logical Model will show the correlation of these effects with the Newtonian universe and with quantum mechanics.

A Comparison of Paraconsistent Description Logics

Description logics (DLs) are a family of logic-based knowledge representation formalisms with a number of computer science applications. DLs are especially well-known to be valuable for obtaining logical foundations of web ontology languages (e.g., W3C’s ontology language OWL). Paraconsistent (or inconsistency-tolerant) description logics (PDLs) have been studied to cope with inconsistencies which may frequently occur in an open world. In this paper, a comparison and survey of PDLs is presented. It is shown that four existing paraconsistent semantics (i.e., four-valued semantics, quasi-classical semantics, single-interpretation semantics and dual-interpretation semantics) for PDLs are essentially the same semantics. To show this, two generalized and extended new semantics are introduced, and an equivalence between them is proved.

语义悖论和溯因方法论

从基于不同后承关系的逻辑理论的比较入手,借鉴科学理论的选择标准,提出了一种对相互竞争的逻辑进行比较的一般方法论——溯因方法论。作者以溯因方法论为依托,论证了在解决语义悖论的方案中,修正经典逻辑而保留真的去引号原则所需要付出的代价远比通常认为的更高,由此为保留经典逻辑而限制或修改真的去引号原则提供辩护。

COMBINATORY LOGIC AS THE FIRST-ORDER MATHEMATICAL THEORY

I. INTRODUCTION The exploration for a unified basis of the combinatory logic and the predicate calculus will promote laying a strict and thorough mathematical foundation of the programming language possessing itself of the functional and logic paradigms. The purpose of this note, proceeding from the algebraic oersoective, is to formulize the first-order mathematical

Variant quantifiers in L_(3)-valued first-order logic

Traditional first-order logic has four definitions for quantifiers,which are defined by universal and existential quantifiers.In L_(3)-valued(three-valued)first-order logic,there are eight kinds of definitions for quantifiers;and corresponding Gentzen deduction systems will be given and their soundness and completeness theorems will be proved.

一种基于集合符号的自动推理扩展方法

在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中,使得非经典逻辑推理经典化.使用SWI-PROLOG语言设计实现了基于集合符号的自动推理系统,在系统中使用集合符号方法,只需要在规则库中增加推理规则,即可生成规则程序,系统本身不需要任何的修改,因此一些适合于经典逻辑的推理方法和技巧就可以很容易地应用到多值逻辑、模态逻辑、直觉逻辑等非经典逻辑,也可以进一步推广到无穷值逻辑和含模糊量词(如T-算子和S-算子)的逻辑中,对于无穷值逻辑和模糊逻辑的Tableau方法研究具有一定的借鉴作用.对TPTP中的900个逻辑问题进行了证明,实验结果表明,系统在时间和空间上效率都是较高的.

对称逻辑公式在经典逻辑度量空间中的分布

将密码学中对称布尔函数的概念引入到计量逻辑学理论之中,定义了对称逻辑公式和准对称逻辑公式.指出二值逻辑公式与布尔函数既密切相关,又有重要区别.证明了n元对称公式占全体n元逻辑公式的比例随n的增大而趋向于零,然而全体对称公式的真度之集却在[0,1]中稠密.最后从拓扑学的观点证明了全体对称公式之集在经典逻辑度量空间中无处稠密.

思考型Agent的基本结构

描述了Agent基本特性 ,提出了三类Agent基本结构 ,指出思考型Agent结构是Agent研究的基础和重点 .在分析思考型Agent抽象结构的基础上 ,重点讨论了基于经典逻辑的Agent结构、基于决策理论的Agent结构和基于BDI框架的Agent结构 ,对其进行抽象的形式描述 ,分析其优缺点 。

经典逻辑门与量子逻辑门之比较

本文通过经典逻辑门与量子逻辑门之比较,论述了量子计算的特点、量子算法的巨大威力及量子逻辑门的实现问题。

二值逻辑中命题的条件真度理论

基于条件概率的思想,在二值经典命题逻辑中引入条件真度的概念。在二值逻辑系统中初步给出了在信息Σ下的近似推理理论。

经典逻辑度量空间上的反射变换

探讨了逻辑度量空间的结构,证明了在经典逻辑度量空间上存在一种反射变换φ,且φ保持逻辑等价关系不变,并且是同态映射;φ自然导出Lindenbaum代数上的一个反射变换φ*,φ*是Lindenbaum代数上的自同构变换,并且是等距变换.研究了φ*的不动点性态,得到了不动点的一般形式,即[A]∨φ*([A])或[A]∧φ*([A])(A∈F(S)).最后指出当n>2时,对于n值G del逻辑系统,相应的逻辑度量空间不具有上述性质.

3值逻辑与经典2值逻辑关系探究

3值逻辑与经典2值逻辑的关系问题是逻辑哲学研究的基本问题之一,通常看法是:经典2值逻辑的某些推理规律在3值逻辑中不成立,3值逻辑是经典2值逻辑的变异。结合对这一观点来源的分析,在建立了一个函数完全的3值逻辑自然推演系统的基础上,从语形和语义两个方面证明:3值逻辑是经典2值逻辑的扩充,而不是变异。