排序方式: 共有155条查询结果,搜索用时 15 毫秒
11.
12.
We define the concepts of minimal p-morphic image and basic p-morphism for transitive Kripke frames. These concepts are used to determine effectively the least number of variables necessary to axiomatize a tabular extension of K4, and to describe the covers and co-covers of such a logic in the lattice of the extensions of K4. 相似文献
13.
14.
John Newson Wright 《International Journal of Philosophical Studies》2013,21(5):603-621
Abstract In Wittgenstein: On Rules and Private Language, Saul Kripke argues for an extreme form of meaning scepticism. One influential reply to Kripke’s arguments was developed by David Lewis. The reply developed by Lewis makes use of the notion of mind-independent relations of similarity and difference. The aim of the paper is to argue that Lewis’ reply is not satisfactory: the challenge to find a refutation of Kripke’s sceptical arguments remains unmet. 相似文献
15.
On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic 总被引:1,自引:0,他引:1
The monoidal t-norm based logic MTL is obtained from Hájek's Basic Fuzzy logic BL by dropping the divisibility condition for the strong (or monoidal) conjunction. Recently, Jenei and Montgana have shown MTL to be standard complete, i.e. complete with respect to the class of residuated lattices in the real unit interval [0,1] defined by left-continuous t-norms and their residua. Its corresponding algebraic semantics is given by pre-linear residuated lattices. In this paper we address the issue of standard and rational completeness (rational completeness meaning completeness with respect to a class of algebras in the rational unit interval [0,1]) of some important axiomatic extensions of MTL corresponding to well-known parallel extensions of BL. Moreover, we investigate varieties of MTL algebras whose linearly ordered countable algebras embed into algebras whose lattice reduct is the real and/or the rational interval [0,1]. These embedding properties are used to investigate finite strong standard and/or rational completeness of the corresponding logics. 相似文献
16.
Subjective Situations and Logical Omniscience 总被引:1,自引:0,他引:1
The beliefs of the agents in a multi-agent system have been formally modelled in the last decades using doxastic logics. The possible worlds model and its associated Kripke semantics provide an intuitive semantics for these logics, but they commit us to model agents that are logically omniscient. We propose a way of avoiding this problem, using a new kind of entities called subjective situations. We define a new doxastic logic based on these entities and we show how the belief operators have some desirable properties, while avoiding logical omniscience. A comparison with two well-known proposals (Levesque's logic of explicit and implicit beliefs and Thijsse's hybrid sieve systems) is also provided. 相似文献
17.
In this paper, a theorem on the existence of complete embedding of partially ordered monoids into complete residuated lattices is shown. From this, many interesting results on residuated lattices and substructural logics follow, including various types of completeness theorems of substructural logics. 相似文献
18.
George Weaver 《Studia Logica》2003,73(3):337-365
A Dedekind Algebra is an ordered pair (B,h) where B is a non-empty set and h is an injective unary function on B. Each Dedekind algebra can be decomposed into a family of disjoint, countable subalgebras called configurations of the Dedekind algebra. There are N0 isomorphism types of configurations. Each Dedekind algebra is associated with a cardinal-valued function on omega called its configuration signature. The configuration signature of a Dedekind algebra counts the number of configurations in the decomposition of the algebra in each isomorphism type.The configuration signature of a Dedekind algebra encodes the structure of that algebra in the sense that two Dedekind algebras are isomorphic iff their configuration signatures are identical. Configuration signatures are used to establish various results in the first-order model theory of Dedekind algebras. These include categoricity results for the first-order theories of Dedekind algebras and existence and uniqueness results for homogeneous, universal and saturated Dedekind algebras. Fundamental to these results is a condition on configuration signatures that is necessary and sufficient for elementary equivalence. 相似文献
19.
20.
Stephen Streed 《Dialog》2019,58(4):286-293
Peace is a gift of God. Humans cannot create it. The meaning of “peace” in Hebrew is “completeness.” Humans seek completion in daily tasks, especially in younger years. In later years, completion takes on new urgency in a search for balance and meaning in one's accomplishments. Here a discovery of inner peace begins to take shape, where there is a perfect peace and acceptance. Others chafe under this reality, gravitating toward bitterness. Elderly can learn from Jacob that to struggle with God is to recognize that the formulation of the future comes out of being active in their own efforts. 相似文献