排序方式: 共有25条查询结果,搜索用时 31 毫秒
1.
In this paper we prove strong completeness of axiomatic extensions of first-order strict core fuzzy logics with the so-called quasi-witnessed axioms with respect to quasi-witnessed models. As a consequence we obtain strong completeness of Product Predicate Logic with respect to quasi-witnessed models, already proven by M.C. Laskowski and S. Malekpour in [19]. Finally we study similar problems for expansions with ??, define ??-quasi-witnessed axioms and prove that any axiomatic extension of a first-order strict core fuzzy logic, expanded with ??, and ??-quasi-witnessed axioms are complete with respect to ??-quasi-witnessed models. 相似文献
2.
Our work is a contribution to the model theory of fuzzy predicate logics. In this paper we characterize elementary equivalence between models of fuzzy predicate logic using elementary mappings. Refining the method of diagrams we give a solution to an open problem of Hájek and Cintula (J Symb Log 71(3):863–880, 2006, Conjectures 1 and 2). We investigate also the properties of elementary extensions in witnessed and quasi-witnessed theories, generalizing some results of Section 7 of Hájek and Cintula (J Symb Log 71(3):863–880, 2006) and of Section 4 of Cerami and Esteva (Arch Math Log 50(5/6):625–641, 2011) to non-exhaustive models. 相似文献
3.
4.
This paper aims at being a systematic investigation of different completeness properties of first-order predicate logics with truth-constants based on a large class of left-continuous t-norms (mainly continuous and weak nilpotent minimum t-norms). We consider standard semantics over the real unit interval but also we explore alternative semantics based on the rational unit interval and on finite chains. We prove that expansions with truth-constants are conservative and we study their real, rational and finite chain completeness properties. Particularly interesting is the case of considering canonical real and rational semantics provided by the algebras where the truth-constants are interpreted as the numbers they actually name. Finally, we study completeness properties restricted to evaluated formulae of the kind , where φ has no additional truth-constants. 相似文献
5.
Photoabsorption spectra of the isolated sulfur containing molecules H2S, CH3SH and SO2 are measured at high resolution near the sulfur K edge, using synchrotron radiation. Resonances are observed in the discrete and continuum parts of the spectra. The most intense resonances are shown to result from virtual orbital effects on the basis of comparisons with the L edge photoabsorption spectra (H2S, SO2), the equivalent core model (SO2) and low-energy electron scattering measurements (H2S, SO2). 相似文献
6.
7.
8.
IMTL logic was introduced in [12] as a generalization of the infinitely-valued logic of Lukasiewicz, and in [11] it was proved
to be the logic of left-continuous t-norms with an involutive negation and their residua. The structure of such t-norms is
still not known. Nevertheless, Jenei introduced in [20] a new way to obtain rotation-invariant semigroups and, in particular,
IMTL-algebras and left-continuous t-norm with an involutive negation, by means of the disconnected rotation method. In order
to give an algebraic interpretation to this construction, we generalize the concepts of perfect, bipartite and local algebra
used in the classification of MV-algebras to the wider variety of IMTL-algebras and we prove that perfect algebras are exactly
those algebras obtained from a prelinear semihoop by Jenei's disconnected rotation. We also prove that the variety generated
by all perfect IMTL-algebras is the variety of the IMTL-algebras that are bipartite by every maximal filter and we give equational
axiomatizations for it. 相似文献
9.
Idania Carrillo Carmen Quintana Ana M. Esteva Lucas Hernández Pedro Hernández 《Electroanalysis》2011,23(12):2862-2869
The formation of an inclusion complex between 4‐aminobiphenyl (4‐AB) and β‐cyclodextrin molecules (β‐CD), allows the use of thiolated β‐CDs as chemi‐adsorbed material on a Au electrode as a self‐assembled submonolayer for the selective square wave voltammetric determination of 4‐AB. The submonolayer was characterized by reductive desorption and an association constant of 1.2×104 L/mol was obtained. The optimization of variables yielded a linear dependence of ip/4‐AB concentration in the range of 10?5 to 10?4 mol/L. The selectivity of the method was evaluated in the presence of other aromatic amines obtaining better results with the modified electrode. This methodology was applied to the voltammetric determination of 4‐AB in wastewater samples. 相似文献
10.
Francesc Esteva Pere Garcia-Calvs Lluís Godo 《International Journal of Approximate Reasoning》1994,10(4):311-344
Two main semantical approaches to possibilistic reasoning with classical propositions have been proposed in the literature. Namely, Dubois-Prade's approach known as possibilistic logic, whose semantics is based on a preference ordering in the set of possible worlds, and Ruspini's approach that we redefine and call similarity logic, which relies on the notion of similarity or resemblance between worlds. In this article we put into relation both approaches, and it is shown that the monotonic fragment of possibilistic logic can be semantically embedded into similarity logic. Furthermore, to extend possibilistic reasoning to deal with fuzzy propositions, a semantical reasoning framework, called fuzzy truth-valued logic, is also introduced and proved to capture the semantics of both possibilistic and similarity logics. 相似文献