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 “Incompleteness of Lp languages”
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 formalization of the Lewis system S1 without rules of substitution.
Josep Pla Carrera (1979)
Stochastica
Similarity:
In the Lewis and Langford formalization of system S1 (1932), besides the deduction rules, the substitution rules are as well used: the uniform substitution and the substitution of strict equivalents. They then obtain systems S2, S3, S4 and S5 adding to the axioms of S1 a new axiom, respectively, without changing the deduction rules. Lemmon (1957) gives a new formalization of systems S1-S5, calling them P1-P5. Is is worthwhile to remark that in the formalization of P2-P5 one does not...
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:
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:
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.
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: