Craig Interpolation Theorem for Classical Propositional Logic with some Probability Operators
Nebojša Ikodinović (2001)
Publications de l'Institut Mathématique
Similarity:
Displaying similar documents to “A formalization of the Lewis system S1 without rules of substitution.”
Craig Interpolation Theorem for Classical Propositional Logic with some Probability Operators
Irregular amalgams.
Stewart, James, Watson, Saleem (1986)
International Journal of Mathematics and Mathematical Sciences
Similarity:
A first order probability logic – .
Rašković, Miodrag, Ognjanović, Zoran (1999)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Some embeddings into the Morrey and modified Morrey spaces associated with the Dunkl operator.
Guliyev, Emin V., Mammadov, Yagub Y. (2010)
Abstract and Applied Analysis
Similarity:
The scalar Oseen operator in
Chérif Amrouche, Hamid Bouzit (2008)
Applications of Mathematics
Similarity:
This paper solves the scalar Oseen equation, a linearized form of the Navier-Stokes equation. Because the fundamental solution has anisotropic properties, the problem is set in a Sobolev space with isotropic and anisotropic weights. We establish some existence results and regularities in theory.
On Korovkin type theorem in the space of locally integrable functions
A. D. Gadjiev, R. O. Efendiyev, E. Ibikli (2003)
Czechoslovak Mathematical Journal
Similarity:
It is shown that a Korovkin type theorem for a sequence of linear positive operators acting in weighted space does not hold in all this space and is satisfied only on some subspace.
Argument estimates of certain multivalent functions involving a linear operator.
Cho, Nak Eun, Patel, J., Mohapatra, G.P. (2002)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Some inequalities associated with a linear operator defined for a class of analytic functions.
Swamy, S.R. (2006)
JIPAM. Journal of Inequalities in Pure & Applied Mathematics [electronic only]
Similarity:
Degenerate differential operators with parameters.
Shakhmurov, Veli B. (2007)
Abstract and Applied Analysis
Similarity: