共查询到20条相似文献,搜索用时 125 毫秒
1.
Dynamic effect algebras 总被引:1,自引:0,他引:1
We introduce the so-called tense operators in lattice effect algebras. Tense operators express the quantifiers “it is always
going to be the case that” and “it has always been the case that” and hence enable us to express the dimension of time in
the logic of quantum mechanics. We present an axiomatization of these tense operators and prove that every lattice effect
algebra whose underlying lattice is complete can be equipped with tense operators. Such an effect algebra is called dynamic
since it reflects changes of quantum events from past to future. 相似文献
2.
J. Sakalauskaitė 《Lithuanian Mathematical Journal》2007,47(3):266-276
In this paper, we consider branching time temporal logic CT L with epistemic modalities for knowledge (belief) and with awareness operators. These logics involve the discrete-time linear
temporal logic operators “next” and “until” with the branching temporal logic operator “on all paths”. In addition, the temporal
logic of knowledge (belief) contains an indexed set of unary modal operators “agent i knows” (“agent i believes”). In a language of these logics, there are awareness operators. For these logics, we present sequent calculi with
a restricted cut rule. Thus, we get proof systems where proof-search becomes decidable. The soundness and completeness for
these calculi are proved.
Published in Lietuvos Matematikos Rinkinys, Vol. 47, No. 3, pp. 328–340, July–September, 2007. 相似文献
3.
Disturbing Fuzzy Propositional Logic and its Operators 总被引:1,自引:0,他引:1
Xin Liu 《Fuzzy Optimization and Decision Making》2006,5(2):163-175
In this paper, the concept of disturbing fuzzy propositional logic is introduced, and the operators of disturbing fuzzy propositions
is defined. Then the 1-dimensional truth value of fuzzy logic operators is extended to be two-dimensional operators, which
include disturbing fuzzy negation operators, implication operators, “and” and “or” operators and continuous operators. The
properties of these logic operators are studied. 相似文献
4.
In this paper, we study the temporal logic S4Dbr with two temporal operators “always” and “eventually.” An equivalent sequent
calculus is presented with formulae as modal clauses or modal clauses starting with operator “always.” An upper bound of deduction
tree is given for propositional logic. A theorem prover for propositional logic is written in SWI-Prolog.
Published in LietuvosMatematikos Rinkinys, Vol. 46, No. 2, pp. 203–214, April–June, 2006. 相似文献
5.
Alessio Moretti 《Logica Universalis》2009,3(1):19-57
Whereas geometrical oppositions (logical squares and hexagons) have been so far investigated in many fields of modal logic
(both abstract and applied), the oppositional geometrical side of “deontic logic” (the logic of “obligatory”, “forbidden”,
“permitted”, . . .) has rather been neglected. Besides the classical “deontic square” (the deontic counterpart of Aristotle’s
“logical square”), some interesting attempts have nevertheless been made to deepen the geometrical investigation of the deontic
oppositions: Kalinowski (La logique des normes, PUF, Paris, 1972) has proposed a “deontic hexagon” as being the geometrical
representation of standard deontic logic, whereas Joerden (jointly with Hruschka, in Archiv für Rechtsund Sozialphilosophie
73:1, 1987), McNamara (Mind 105:419, 1996) and Wessels (Die gute Samariterin. Zur Struktur der Supererogation, Walter de Gruyter,
Berlin, 2002) have proposed some new “deontic polygons” for dealing with conservative extensions of standard deontic logic
internalising the concept of “supererogation”. Since 2004 a new formal science of the geometrical oppositions inside logic
has appeared, that is “n-opposition theory”, or “NOT”, which relies on the notion of “logical bi-simplex of dimension m” (m = n − 1). This theory has received a complete mathematical foundation in 2008, and since then several extensions. In this paper,
by using it, we show that in standard deontic logic there are in fact many more oppositional deontic figures than Kalinowski’s
unique “hexagon of norms” (more ones, and more complex ones, geometrically speaking: “deontic squares”, “deontic hexagons”,
“deontic cubes”, . . ., “deontic tetraicosahedra”, . . .): the real geometry of the oppositions between deontic modalities
is composed by the aforementioned structures (squares, hexagons, cubes, . . ., tetraicosahedra and hyper-tetraicosahedra),
whose complete mathematical closure happens in fact to be a “deontic 5-dimensional hyper-tetraicosahedron” (an oppositional
very regular solid).
相似文献
6.
We consider the class of pointed varieties of algebras having a lattice term reduct and we show that each such variety gives
rise in a natural way, and according to a regular pattern, to at least three interesting logics. Although the mentioned class
includes several logically and algebraically significant examples (e.g. Boolean algebras, MV algebras, Boolean algebras with
operators, residuated lattices and their subvarieties, algebras from quantum logic or from depth relevant logic), we consider
here in greater detail Abelian ℓ-groups, where such logics respectively correspond to: i) Meyer and Slaney’s Abelian logic [31]; ii) Galli et al.’s logic of equilibrium [21]; iii) a new logic of “preservation of truth degrees”.
This paper was written while the second author was a Visiting Professor in the Department of
Education at the University of Cagliari. The facilities and assistance provided by the University
and by the Department are gratefully acknowledged. 相似文献
7.
V. E. Nazaikinskii A. Yu. Savin B. Yu. Sternin 《Journal of Mathematical Sciences》2010,164(4):603-636
The computation of a stable homotopic classification of elliptic operators is an important problem of elliptic theory. The
classical solution of this problem is given by Atiyah and Singer for the case of smooth compact manifolds. It is formulated
in terms of K-theory for a cotangent fibering of the given manifold. It cannot be extended for the case of nonsmooth manifolds because
their cotangent fiberings do not contain all necessary information. Another Atiyah definition might fit in such a case: it
is based on the concept of abstract elliptic operators and is given in term of K-homologies of the manifold itself (instead of its fiberings). Indeed, this theorem is recently extended for manifolds with
conic singularities, ribs, and general so-called stratified manifolds: it suffices just to replace the phrase “smooth manifold”
by the phrase “stratified manifold” (of the corresponding class). Thus, stratified manifolds is a strange phenomenon in a
way: the algebra of symbols of differential (pseudodifferential) operators is quite noncommutative on such manifolds (the
symbol components corresponding to strata of positive codimensions are operator-valued functions), but the solution of the
classification problem can be found in purely geometric terms. In general, it is impossible for other classes of nonsmooth
manifolds. In particular, the authors recently found that, for manifolds with angles, the classification is given by a K-group of a noncommutative C* -algebra and it cannot be reduced to a commutative algebra if normal fiberings of faces of the considered manifold are nontrivial.
Note that the proofs are based on noncommutative geometry (more exactly, the K-theory of C* -algebras) even in the case of stratified manifolds though the results are “classical.” In this paper, we provide a review
of the abovementioned classification results for elliptic operators on manifolds with singularities and corresponding methods
of noncommutative geometry (in particular, the localization principle in C* -algebras). 相似文献
8.
V. F. Murzina 《Algebra and Logic》2005,44(5):313-325
An axiomatization is furnished for a polymodal logic of strictly linearly ordered A-frames: for frames of this kind, we consider
a language of polymodal logic with two modal operators, □< and □≺. In the language, along with the operators, we introduce a constant β, which describes a basis subset. In the language with
the two modal operators and constant β, an Lα-calculus is constructed. It is proved that such is complete w.r.t. the class
of all strictly linearly ordered A-frames. Moreover, it turns out that the calculus in question possesses the finite-model
property and, consequently, is decidable.
__________
Translated from Algebra i Logika, Vol. 44, No. 5, pp. 560–582, September–October, 2005.
Supported by RFBR grant No. 03-06-80178, by the Council for Grants (under RF President) and State Aid of Fundamental Science
Schools, project NSh-2069.2003.1, and by INTAS grant No. 04-77-7080. 相似文献
9.
This is the second part of a series of four articles on weighted norm inequalities, off-diagonal estimates and elliptic operators.
We consider a substitute to the notion of pointwise bounds for kernels of operators which usually is a measure of decay. This
substitute is that of off-diagonal estimates expressed in terms of local and scale invariant Lp − Lq estimates. We propose a definition in spaces of homogeneous type that is stable under composition. It is particularly well
suited to semigroups. We study the case of semigroups generated by elliptic operators.
This work was partially supported by the European Union (IHP Network “Harmonic Analysis and Related Problems” 2002-2006, Contract
HPRN-CT-2001-00273-HARP). The second author was also supported by MEC “Programa Ramón y Cajal, 2005” and by MEC Grant MTM2004-00678. 相似文献
10.
By a “reproducing” method forH =L
2(ℝ
n
) we mean the use of two countable families {e
α : α ∈A}, {f
α : α ∈A}, inH, so that the first “analyzes” a function h ∈H by forming the inner products {<h,e
α >: α ∈A} and the second “reconstructs” h from this information:h = Σα∈A <h,e
α >:f
α.
A variety of such systems have been used successfully in both pure and applied mathematics. They have the following feature
in common: they are generated by a single or a finite collection of functions by applying to the generators two countable
families of operators that consist of two of the following three actions: dilations, modulations, and translations. The Gabor
systems, for example, involve a countable collection of modulations and translations; the affine systems (that produce a variety
of wavelets) involve translations and dilations.
A considerable amount of research has been conducted in order to characterize those generators of such systems. In this article
we establish a result that “unifies” all of these characterizations by means of a relatively simple system of equalities.
Such unification has been presented in a work by one of the authors. One of the novelties here is the use of a different approach
that provides us with a considerably more general class of such reproducing systems; for example, in the affine case, we need
not to restrict the dilation matrices to ones that preserve the integer lattice and are expanding on ℝ
n
. Another novelty is a detailed analysis, in the case of affine and quasi-affine systems, of the characterizing equations
for different kinds of dilation matrices. 相似文献
11.
Christian Ronse 《Order》2011,28(2):307-339
Our first paper introduced block splitting operators on the complete lattice of partial partitions, studied their algebraic properties and characterized block splitting openings (kernel operators) in terms of partial connections. In this second paper we study non-isotone idempotent block splitting operators on partial partitions. In particular we analyse
the following two constructions:
– |
the residual combination of block splitting openings, where the (n + 1)-th opening is applied to the “residue” of the n-th one; 相似文献
12.
For idealized, infinitely thin (“dry”) soap films, an Xis unstable, while for very thick (“wet”) soap films it is minimizing. We show that for soap films of relatively small but
positive wetness, the Xis unstable. Full stability diagrams for the constant liquid fraction case and the constant pressure case are generated. Analogous
questions about other singularities remain controversial. 相似文献
13.
Johann C. Marek 《Acta Analytica》2011,26(1):53-61
Experiences are interpreted as conscious mental occurrences that are of phenomenal character. There is already a kind of (weak)
intentionality involved with this phenomenal interpretation. A stricter conception of experiences distinguishes between purely
phenomenal experiences and intentional experiences in a narrow sense. Wittgenstein’s account of psychological (experiential)
verbs is taken over: Usually, expressing mental states verbally is not describing them. According to this, “I believe” can
be seen as an expression of one’s own belief, but not as an expression of a belief about one’s belief. Hence, the utterance
“I believe it is raining” shows that I believe that it is raining, although it is not said by these words that I believe that it is raining. Thinking thoughts such as “I believe it is raining, but it is not raining”
(a variant of Moore’s paradox) is an absurdity between what is already said by silently uttering “It is not raining” and what
is shown by silently uttering “I believe it is raining.” The paper agrees with a main result of Wittgenstein’s considerations
of Moore’s paradox, namely the view that logical structure, deducibility, and consistency cannot be reduced solely to propositions—besides
a logic of propositions, there is, for example, a logic of assertions and of imperatives, respectively. 相似文献
14.
Joseph Y. Halpern 《International Journal of Game Theory》1999,28(3):315-330
Samet introduced a notion of hypothetical knowledge and showed how it could be used to capture the type of counterfactual reasoning necessary to force the backwards induction
solution in a game of perfect information. He argued that while hypothetical knowledge and the extended information structures used to model it bear some resemblance to the way philosophers have used conditional logic to model counterfactuals, hypothetical knowledge cannot be reduced to conditional logic together with epistemic logic. Here
it is shown that in fact hypothetical knowledge can be captured using the standard counterfactual operator “>” and the knowledge
operator “K”, provided that some assumptions are made regarding the interaction between the two. It is argued, however, that these assumptions
are unreasonable in general, as are the axioms that follow from them. Some implications for game theory are discussed. 相似文献
15.
“Setting” n-Opposition 总被引:1,自引:1,他引:0
Régis Pellissier 《Logica Universalis》2008,2(2):235-263
Our aim is to show that translating the modal graphs of Moretti’s “n-opposition theory” (2004) into set theory by a suited device, through identifying logical modal formulas with appropriate
subsets of a characteristic set, one can, in a constructive and exhaustive way, by means of a simple recurring combinatory,
exhibit all so-called “logical bi-simplexes of dimension n” (or n-oppositional figures, that is the logical squares, logical hexagons, logical cubes, etc.) contained in the logic produced
by any given modal graph (an exhaustiveness which was not possible before). In this paper we shall handle explicitly the classical
case of the so-called 3(3)-modal graph (which is, among others, the one of S5), getting to a very elegant tetraicosahedronal
geometrisation of this logic.
相似文献
16.
Wolfgang Lenzen 《Logica Universalis》2008,2(1):43-58
In the 18th century, Gottfried Ploucquet developed a new syllogistic logic where the categorical forms are interpreted as
set-theoretical identities, or diversities, between the full extension, or a non-empty part of the extension, of the subject
and the predicate. With the help of two operators ‘O’ (for “Omne”) and ‘Q’ (for “Quoddam”), the UA and PA are represented
as ‘O(S) – Q(P)’ and ‘Q(S) – Q(P)’, respectively, while UN and PN take the form ‘O(S) > O(P)’ and ‘Q(S) > O(P)’, where ‘>’ denotes set-theoretical disjointness. The use of the symmetric operators ‘–’ and ‘>’ gave rise to a new conception
of conversion which in turn lead Ploucquet to consider also the unorthodox propositions O(S) – O(P), Q(S) – O(P), O(S) > Q(P), and Q(S) > Q(P). Although Ploucquet’s critique of the traditional theory of opposition turns out to be mistaken, his theory of the “Quantification
of the Predicate” is basically sound and involves an interesting “Double Square of Opposition”.
My thanks are due to Hanno von Wulfen for helpful discussions and for transforming the word-document into a Latex-file. 相似文献
17.
The Generalized Riemann Problem (GRP) for a nonlinear hyperbolic system of m balance laws (or alternatively “quasi-conservative” laws) in one space dimension is now well-known and can be formulated
as follows: Given initial-data which are analytic on two sides of a discontinuity, determine the time evolution of the solution
at the discontinuity. In particular, the GRP numerical scheme (second-order high resolution) is based on an analytical evaluation
of the first time derivative. It turns out that this derivative depends only on the first-order spatial derivatives, hence
the initial data can be taken as piecewise linear. The analytical solution is readily obtained for a single equation (m = 1) and, more generally, if the system is endowed with a complete (coordinate) set of Riemann invariants. In this case it
can be “diagonalized” and reduced to the scalar case. However, most systems with m > 2 do not admit such a set of Riemann invariants. This paper introduces a generalization of this concept: weakly coupled
systems (WCS). Such systems have only “partial set” of Riemann invariants, but these sets are weakly coupled in a way which
enables a “diagonalized” treatment of the GRP. An important example of a WCS is the Euler system of compressible, nonisentropic
fluid flow (m = 3). The solution of the GRP discussed here is based on a careful analysis of rarefaction waves. A “propagation of singularities”
argument is applied to appropriate Riemann invariants across the rarefaction fan. It serves to “rotate” initial spatial slopes
into “time derivative”. In particular, the case of a “sonic point” is incorporated easily into the general treatment. A GRP
scheme based on this solution is derived, and several numerical examples are presented. Special attention is given to the
“acoustic approximation” of the analytical solution. It can be viewed as a proper linearization (different from the approach
of Roe) of the nonlinear system. The resulting numerical scheme is the simplest (second-order, high-resolution) generalization
of the Godunov scheme. 相似文献
18.
A buffon problem is studied for a “thin lens” in the plane, a convex test body made by the union of two circular segments
both less than or equal to a semicircle. The case in which the lens is “small” compared with the distance between the parallel
lines of the Buffon lattice has been treated in [4]. The instance investigated in this paper is the one of a “large” lens,
i.e. of a lens which can have multiple intersections with the Buffon lattice.
Lavoro eseguito col contributo parziale del M.U.R.S.T. 相似文献 19.
Hansong Huang 《Integral Equations and Operator Theory》2009,64(3):381-398
This paper mainly concerns abelian von Neumann algebras generated by Toeplitz operators on weighted Bergman spaces. Recently
a family of abelian w*-closed Toeplitz algebras has been obtained (see [5,6,7,8]). We show that this algebra is maximal abelian and is singly generated
by a Toeplitz operator with a “common” symbol. A characterization for Toeplitz operators with radial symbols is obtained and
generalized to the high dimensional case. We give several examples for abelian von Neumann algebras in the case of high dimensional
weighted Bergman spaces, which are different from the one dimensional case. 相似文献
20.
I. G. Korepanov 《Journal of Mathematical Sciences》1997,85(1):1671-1683
A completely integrable dynamical system in discrete time is studied by methods of algebraic geometry. The system is associated
with factorization of a linear operator acting in the direct sum of three linear spaces into a product of three operators,
each acting nontrivially only in the direct sum of two spaces, and subsequently reversing the order of the factors. There
exists a reduction of the system, which can be interpreted as a classical field theory in the 2+1-dimensional space-time,
whose integrals of motion coincide, in essence, with the statistical sum of an inhomogeneous 6-vertex free-fermion model on
the 2-dimensional kagome lattice (here the statistical sum is a function of two parameters). This establishes a connection
with the “local,” or “generalized,” quantum Yang-Baxter equation. Bibliography:10 titles.
Dedicated to L. D. Faddeev on the occasion of his 60th birthday
Published inZapiski Nauchnykh Seminarov POMI, Vol. 215, 1994, pp. 178–196.
Translated by I. G. Korepanov. 相似文献
|