Search results for " Logic"
showing 10 items of 1720 documents
European and Chinese Cognitive Styles and Their Impact on Teaching Mathematics
2010
A General Framework and Theoretical References.- The Chinese Written Language as Tool for a Possible Historical and Epistemological Reflections on the Mathematics and the Impact of Teaching/Learning of Mathematics.- The Meta-rules between Natural Language and History of Mathematics.- Common Sense and Fuzzy Logic.- The Experimental Epistemology as a Tool to Observe and Preview Teaching/Learning Phenomena.- Strategy and Tactics in the Chinese and European Culture: Chess and Weich'i.- Rhythm and Natural Language in the Chinese and European Culture.- Conclusions.
Combined effect of solvent content, temperature and pH on the chromatographic behaviour of ionisable compounds. III: Considerations about robustness
2009
Abstract We previously reported a model able to predict the retention time of ionisable compounds as a function of the solvent content, temperature and pH [J. Chromatogr. A 1163 (2007) 49]. The model was applied further, developing an optimisation of the resolution based on the peak purity concept [J. Chromatogr. A 1193 (2008) 117]. However, we left aside an important issue: we did not consider incidental overlaps caused by shifts in the predicted peak positions, owing either to uncertainties in the source data, modelling errors, or the practical implementation in the chromatograph of the optimal mobile phase (or any other). These shifts can ruin the predicted separation, since they can eas…
Transparency in two municipalities of great population of the Valencian Community: between mimetic isomorphism and the generation of legitimity
2020
Este trabajo de investigación tiene como objetivo fundamental la realización de un análisis sobre los elementos que han justificado la calidad de los procesos de asunción de la transparencia en los ayuntamientos de Alicante y València (2008-2017). En concreto, se partirá del neo-institucionalismo sociológico y de los índices de Transparencia Internacional para caracterizar esta herramienta de buen gobierno y la importancia relativa en ambos ayuntamientos. Entre algunos de los resultados preliminares que hemos obtenido, podemos destacar tanto el papel isomórfico de la legislación como la necesidad de mejorar la reputación de las instituciones estudiadas para implementar dichas políticas. The…
A chi si rivolgono le norme di diritto internazionale?
2023
In this chapter the traditional legal issues concerning the identification of the subjects of international law is examined according to an original perspective. First of all, the legal regimes of self-determination, minorities and national reconciliation processes are seen, as a whole; namely, as expressions of the increasing legal value of civil societies (peoples, groups) in international law. Second: the legal regime of State sovereignty is dealt with in this chapter, since sovereignty is considered as being the logical corollary of state international capacity. Third and most importantly: the legal position of individuals is not examined in general terms, but with specific regard to so…
State-feedback sampled-data control design for nonlinear systems via passive theory
2013
Published version of an article in the journal: Mathematical Problems in Engineering. Also available from the publisher at: http://dx.doi.org/10.1155/2013/230413 Open Access This paper investigates the problem of passive controller design for a class of nonlinear systems under variable sampling. The Takagi-Sugeno (T-S) fuzzy modeling method is utilized to represent the nonlinear systems. Attention is focused on the design of passive controller for the T-S fuzzy systems via sampled-data control approach. Under the concept of very-strict passivity, a novel time-dependent Lyapunov functional is constructed to develop passive analysis criteria and passive controller synthesis conditions. A new …
Evaluative linguistic expressions vs. fuzzy categories
2015
In this paper, we discuss the distinction between categories characterized by verbal labels taken from a fuzzy rating scale and special class of linguistic expressions, called evaluative. The latter form a general class of expressions that includes gradable and evaluative adjectives and their hedges. First, we will provide a brief linguistic analysis of them. Then we outline basic principles for construction of the mathematical model of semantics of evaluative expressions. In Section 3 we will analyze the concepts of rating scale with verbal labels (fuzzy rating scale), their semantics and demonstrate that the latter cannot be identified with the semantics of evaluative expressions. Finally…
Positive Versions of Polynomial Time
1998
Abstract We show that restricting a number of characterizations of the complexity class P to be positive (in natural ways) results in the same class of (monotone) problems, which we denote by posP . By a well-known result of Razborov, posP is a proper subclass of the class of monotone problems in P . We exhibit complete problems for posP via weak logical reductions, as we do for other logically defined classes of problems. Our work is a continuation of research undertaken by Grigni and Sipser, and subsequently Stewart; indeed, we introduce the notion of a positive deterministic Turing machine and consequently solve a problem posed by Grigni and Sipser.
Some new fixed point results in non-Archimedean fuzzy metric spaces
2013
In this paper, we introduce the notions of fuzzy $(\alpha,\beta,\varphi)$-contractive mapping, fuzzy $\alpha$-$\phi$-$\psi$-contractive mapping and fuzzy $\alpha$-$\beta$-contractive mapping and establish some results of fixed point for this class of mappings in the setting of non-Archimedean fuzzy metric spaces. The results presented in this paper generalize and extend some recent results in fuzzy metric spaces. Also, some examples are given to support the usability of our results.
Frames for fusions of modal logics
2018
Let us consider multimodal logics and . We assume that is characterised by a class of connected frames, and there exists an -frame with a so-called -starting point. Similarly, the logic is characterised by a class of connected frames, and there exists an -frame with a -starting point. Using isomorphic copies of the frames and , we construct a connected frame which characterises the fusion . The frame thus obtained has some useful properties. Among others, is countable if both and are countable, and there is a special world of the frame such that any formula is valid in the frame if and only if it is valid at the point . We also describe a similar construction where we assume the existence o…
Are locally finite MV-algebras a variety?
2021
We answer Mundici's problem number 3 (D. Mundici. Advanced {\L}ukasiewicz calculus. Trends in Logic Vol. 35. Springer 2011, p. 235): Is the category of locally finite MV-algebras equivalent to an equational class? We prove: (i) The category of locally finite MV-algebras is not equivalent to any finitary variety. (ii) More is true: the category of locally finite MV-algebras is not equivalent to any finitely-sorted finitary quasi-variety. (iii) The category of locally finite MV-algebras is equivalent to an infinitary variety; with operations of at most countable arity. (iv) The category of locally finite MV-algebras is equivalent to a countably-sorted finitary variety. Our proofs rest upon th…