排序方式: 共有199条查询结果,搜索用时 15 毫秒
131.
Richard DeWitt 《Journal of Philosophical Logic》2005,34(5-6):545-560
In this paper, I identify the source of the differences between classical logic and many-valued logics (including fuzzy logics)
with respect to the set of valid formulas and the set of inferences sanctioned. In the course of doing so, we find the conditions
that are individually necessary and jointly sufficient for any many-valued semantics (again including fuzzy logics) to validate
exactly the classically valid formulas, while sanctioning exactly the same set of inferences as classical logic. This in turn
shows, contrary to what has sometimes been claimed, that at least one class of infinite-valued semantics is axiomatizable. 相似文献
132.
133.
134.
135.
Nicola Olivetti 《Studia Logica》2003,73(1):81-111
In this work we propose a labelled tableau method for ukasiewicz infinite-valued logic L
. The method is based on the Kripke semantics of this logic developed by Urquhart [25] and Scott [24]. On the one hand, our method falls under the general paradigm of labelled deduction [8] and it is rather close to the tableau systems for sub-structural logics proposed in [4]. On the other hand, it provides a CoNP decision procedure for L
validity by reducing the check of branch closure to linear programming 相似文献
136.
This paper is a survey of V.A. Smirnovs main results in modern logic. 相似文献
137.
We generalize the incompleteness proof of the modal predicate logic Q-S4+ p p + BF described in Hughes-Cresswell [6]. As a corollary, we show that, for every subframe logic Lcontaining S4, Kripke completeness of Q-L+ BF implies the finite embedding property of L. 相似文献
138.
Motivated by applications in software engineering, we propose two forms of combination of logics: synchronization on formulae and synchronization on models. We start by reviewing satisfaction systems, consequence systems, one-step derivation systems and theory spaces, as well as their functorial relationships. We define the synchronization on formulae of two consequence systems and provide a categorial characterization of the construction. For illustration we consider the synchronization of linear temporal logic and equational logic. We define the synchronization on models of two satisfaction systems and provide a categorial characterization of the construction. We illustrate the technique in two cases: linear temporal logic versus equational logic; and linear temporal logic versus branching temporal logic. Finally, we lift the synchronization on formulae to the category of logics over consequences systems. 相似文献
139.
Multiplicative Conjunction as an Extensional Conjunction 总被引:1,自引:0,他引:1
140.
GL-Quantales: Q-Valued Sets and Their Singletons 总被引:1,自引:0,他引:1
Ulrich Höhle 《Studia Logica》1998,61(1):123-148
Q-valued sets are non-classical models of the formalized theory of identity with existence predicate based on the axioms of a non-commutative and non-idempotent logic. The singleton monad on the category of Q-valued sets is constructed, and elementary properties of T-algebras of the singleton monad are investigated. 相似文献