Fuzzy inequational logic

We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formulas of the form of inequalities between terms and formalizes their semantic entailment and provability in graded setting which allows to draw partially true conclusions from partially true assumptions. We follow the Pavelka approach and define general degrees of semantic entailment and provability using complete residuated lattices as structures of truth degrees. We prove the logic is Pavelka-style complete. Furthermore, we present a logic for reasoning about graded if–then rules which is obtained as particular case of the general result.     

Lukasiewicz 命题逻辑系统一种新的理论的相容度

根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念.给出了理论Γ相容、不相容及其它相关结论的充分必要条件,并且获得了相容度与发散度之间联系的重要关系式.     

A sequent calculus for logic of knowledge and past time: Completeness and decidability

We consider logic of knowledge and past time. This logic involves the discrete-time linear temporal operators next, until, weak yesterday, and since. In addition, it contains an indexed set of unary modal operators agent i knows.We consider the semantic constraint of the unique initial states for this logic. For the logic, we present a sequent calculus with a restricted cut rule. We prove the soundness and completeness of the sequent calculus presented. We prove the decidability of provability in the considered calculus as well. So, this calculus can be used as a basis for automated theorem proving. The proof method for the completeness can be used to construct complete sequent calculi with a restricted cut rule for this logic with other semantical constraints as well. Published in Lietuvos Matematikos Rinkinys, Vol. 46, No. 3, pp. 427–437, July–September, 2006.     

Continuous fuzzy Horn logic

The paper deals with fuzzy Horn logic (FHL) which is a fragment of predicate fuzzy logic with evaluated syntax. Formulas of FHL are of the form of simple implications between identities. We show that one can have Pavelka‐style completeness of FHL w.r.t. semantics over the unit interval [0, 1] with (residuated lattices given by) left‐continuous t‐norm and a residuated implication, provided that only certain fuzzy sets of formulas are considered. The model classes of fuzzy structures of FHL are characterized by closure properties. We also give comments on related topics proposed by N. Weaver. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A topological characterization of consistency of logic theories in propositional logic

The main purpose of this note is to characterize consistency of logic theories in propositional logic by means of topological concept. Based on the concepts of truth degree of formulas and similarity degree between formulas the concept of logic metric space has been proposed by the first author. It is proved in this note that a closed logic theory Γ is consistent if and only if it contains no interior point in the logic metric space. Moreover the relationship between logic closedness and topological closedness of a logic theory Γ is discussed. Finally, the concept of full divergency is also characterized by means of the topological concept of density. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Preservativity logic: An analogue of interpretability logic for constructive theories

In this paper we study the modal behavior of Σ‐preservativity, an extension of provability which is equivalent to interpretability for classical superarithmetical theories. We explain the connection between the principles of this logic and some well‐known properties of HA, like the disjunction property and its admissible rules. We show that the intuitionistic modal logic given by the preservativity principles of HA known so far, is complete with respect to a certain class of frames.     

Well-Defined Fuzzy Sentential Logic

A many-valued sentential logic with truth values in an injective MV-algebra is introduced and the axiomatizability of this logic is proved. The paper develops some ideas of Goguen and generalizes the results of Pavelka on the unit interval. The proof for completeness is purely algebraic. A corollary of the Completeness Theorem is that fuzzy logic on the unit interval is semantically complete if and only if the algebra of the truth values is a complete MV-algebra. In the well-defined fuzzy sentential logic holds the Compactness Theorem, while the Deduction Theorem and the Finiteness Theorem in general do not hold. Because of its generality and good-behaviour, MV-valued logic can be regarded as a mathematical basis of fuzzy reasoning.     

一阶模糊谓词逻辑公式的解释模型真度理论及其应用

基于一阶模糊谓词逻辑公式的有限和可数解释真度的理论,引入了一阶模糊谓词逻辑公式的解释模型及解释模型真度的概念,并讨论了它们的一系列性质及其在近似推理中的应用.     

一阶模糊谓词逻辑公式的区间解释真度理论

通过引进一阶模糊语言变元集赋值的新概念,给出了一阶模糊谓词逻辑(或一阶模糊语言)公式的区间解释真度的定义,并讨论了它们的一系列性质。     

G(o)del逻辑和L*逻辑中公式的真度分布

研究了G\"{o}del逻辑系统和$L^\ast$逻辑系统中公式的真度的分布情况. 结果表明在G\"{o}del逻辑系统和$L^\ast$逻辑系统中含有$n$个原子命题的公式($n$元公式)的真度集分别为$\{\frac{i}{(n+ 1)!}\vert 0 \le i \le (n + 1)! ,i \in N\}$和$\{\frac{i}{(n + 1)!}\vert 0\le i \le 2^n(n + 1)!,i \in N\}.$ 进而得到了G\"{o}del逻辑系统和$L^\ast$逻辑系统中公式的真度集均为[0,1]上的有理数集. 最后,还给出了两系统中公式的相似度,伪距离的分布情况.     

Bilattices for deductions in multi-valued logic

In this exploratory paper we propose a framework for the deduction apparatus of multi-valued logics based on the idea that a deduction apparatus has to be a tool to manage information on truth values and not directly truth values of the formulas. This is obtained by embedding the algebraic structure V defined by the set of truth values into a bilattice B. The intended interpretation is that the elements of B are pieces of information on the elements of V. The resulting formalisms are particularized in the framework of fuzzy logic programming. Since we see fuzzy control as a chapter of multi-valued logic programming, this suggests a new and powerful approach to fuzzy control based on positive and negative conditions.     

Axiomatizations of team logics

In a modular approach, we lift Hilbert-style proof systems for propositional, modal and first-order logic to generalized systems for their respective team-based extensions. We obtain sound and complete axiomatizations for the dependence-free fragment FO(～) of Väänänen's first-order team logic TL, for propositional team logic PTL, quantified propositional team logic QPTL, modal team logic MTL, and for the corresponding logics of dependence, independence, inclusion and exclusion.As a crucial step in the completeness proof, we show that the above logics admit, in a particular sense, a semantics-preserving elimination of modalities and quantifiers from formulas.     

三值逻辑系统W3中的随机化研究

利用赋值集的随机化方法,在三值逻辑W3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DW3-相似度与伪距离的概念,并建立了DW3-逻辑度量空间,证明了此空间没有孤立点.     

A modal provability logic of explicit and implicit proofs

We establish the bi-modal forgetful projection of the Logic of Proofs and Formal Provability GLA. That is to say, we present a normal bi-modal provability logic with modalities □ and whose theorems are precisely those formulas for which the implicit provability assertions represented by the modality can be realized by explicit proof terms.     

Bisimulations between generalized Veltman models and Veltman models

Interpretability logic is an extension of provability logic. Veltman models and generalized Veltman models are two semantics for interpretability logic. We consider a connection between Veltman semantics and generalized Veltman semantics. We prove that for a complete image‐finite generalized Veltman modelW there is a Veltman model W ′ that is bisimular to W. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Fuzzy Horn logic II

The paper studies closure properties of classes of fuzzy structures defined by fuzzy implicational theories, i.e. theories whose formulas are implications between fuzzy identities. We present generalizations of results from the bivalent case. Namely, we characterize model classes of general implicational theories, finitary implicational theories, and Horn theories by means of closedness under suitable algebraic constructions.     

QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS

The paper presents a semantics for quantified modal logic which has a weaker axiomatization than the usual Kripke semantics. In particular, the Barcan Formula (BF) and its converse are not valid with the proposed semantics. Subclasses of models which validate BF and other interesting formulas are presented. A completeness theorem is proved, and the relation between this result and completeness with respect to Kripke models is investigated.     

The case for an interval-based representation of linguistic truth

This paper develops an interval-based approach to the concept of linguistic truth. A special-purpose interval logic is defined, and it is argued that, for many applications, this logic provides a potentially useful alternative to the conventional fuzzy logic.The key idea is to interpret the numerical truth value v(p) of a proposition p as a degree of belief in the logical certainty of p, in which case p is regarded as true, for example, if v(p) falls within a certain range, say, the interval [0.7, 1]. This leads to a logic which, although being only a special case of fuzzy logic, appears to be no less linguistically correct and at the same time offers definite advantages in terms of mathematical simplicity and computational speed.It is also shown that this same interval logic can be generalized to a lattice-based logic having the capacity to accommodate propositions p which employ fuzzy predicates of type 2.     

Conservative extension of polyadic MV-algebras to polyadic pavelka algebras

In this paper we prove polyadic counterparts of the Hájek, Paris and Shepherdson's conservative extension theorems of Łukasiewicz predicate logic to rational Pavelka predicate logic. We also discuss the algebraic correspondents of the provability and truth degree for polyadic MV-algebras and prove a representation theorem similar to the one for polyadic Pavelka algebras.