Works matching DE "COMPLETENESS theorem"

Results: 856

Quantum modal logic.

Published in:

Logic Journal of the IGPL, 2025, v. 33, n. 3, p. 1, doi. 10.1093/jigpal/jzae123

By:

Tokuo, Kenji

Publication type:

Article

Ivo G. Rosenberg’s Work on Maximal Clones and Minimal Clones.

Published in:

Journal of Multiple-Valued Logic & Soft Computing, 2025, v. 44, n. 5/6, p. 539

By:

SZENDREI, ÁGNES

Publication type:

Article

A dissipative third-order boundary value problem with distributional potentials and eigenparameter-dependent boundary conditions.

Published in:

Electronic Research Archive, 2025, v. 33, n. 5, p. 1, doi. 10.3934/era.2025149

By:

Li, Fei-fan;
Ao, Ji-jun

Publication type:

Article

The completeness characterization of C(L), L a locale.

Published in:

Positivity, 2019, v. 23, n. 1, p. 89, doi. 10.1007/s11117-018-0594-1

By:

Ball, R. N.;
Hager, A. W.

Publication type:

Article

<italic>um</italic>-Topology in multi-normed vector lattices.

Published in:

Positivity, 2018, v. 22, n. 2, p. 653, doi. 10.1007/s11117-017-0533-6

By:

Dabboorasad, Y. A.;
Emelyanov, E. Y.;
Marabeh, M. A. A.

Publication type:

Article

Weak sequential completeness in Banach $$C(K)$$ -modules of finite multiplicity.

Published in:

Positivity, 2017, v. 21, n. 2, p. 739, doi. 10.1007/s11117-015-0340-x

By:

Kitover, Arkady;
Orhon, Mehmet

Publication type:

Article

On characterizing Riesz spaces C( X) without Yosida representation.

Published in:

Positivity, 2013, v. 17, n. 3, p. 515, doi. 10.1007/s11117-012-0185-5

By:

Hušek, M.;
Pulgarín, A.

Publication type:

Article

On nestedly complete topological vector lattices.

Published in:

Positivity, 2010, v. 14, n. 4, p. 681, doi. 10.1007/s11117-010-0075-7

By:

Drewnowski, Lech

Publication type:

Article

Computational completeness of simple semi-conditional insertion–deletion systems of degree (2,1).

Published in:

Natural Computing, 2019, v. 18, n. 3, p. 563, doi. 10.1007/s11047-019-09742-w

By:

Fernau, Henning;
Kuppusamy, Lakshmanan;
Raman, Indhumathi

Publication type:

Article

Group classification of one-dimensional nonisentropic equations of fluids with internal inertia II. General case.

Published in:

Continuum Mechanics & Thermodynamics, 2015, v. 27, n. 3, p. 447, doi. 10.1007/s00161-014-0372-7

By:

Siriwat, P.;
Kaewmanee, C.;
Meleshko, S.

Publication type:

Article

On geodesic completeness for Riemannian metrics on smooth probability densities.

Published in:

Calculus of Variations & Partial Differential Equations, 2017, v. 56, n. 4, p. 1, doi. 10.1007/s00526-017-1195-8

By:

Bauer, Martin;
Joshi, Sarang;
Modin, Klas

Publication type:

Article

Transport distances and geodesic convexity for systems of degenerate diffusion equations.

Published in:

Calculus of Variations & Partial Differential Equations, 2015, v. 54, n. 4, p. 3397, doi. 10.1007/s00526-015-0909-z

By:

Zinsl, Jonathan;
Matthes, Daniel

Publication type:

Article

Complete self-shrinkers of the mean curvature flow.

Published in:

Calculus of Variations & Partial Differential Equations, 2015, v. 52, n. 3/4, p. 497, doi. 10.1007/s00526-014-0720-2

By:

Cheng, Qing-Ming;
Peng, Yejuan

Publication type:

Article

Local gradient estimate for harmonic functions on Finsler manifolds.

Published in:

Calculus of Variations & Partial Differential Equations, 2014, v. 51, n. 3/4, p. 849, doi. 10.1007/s00526-013-0697-2

By:

Xia, Chao

Publication type:

Article

On Buckling Problems.

Published in:

ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 2000, v. 80, n. 9, p. 633, doi. 10.1002/1521-4001(200009)80:9<633::AID-ZAMM633>3.0.CO;2-1

By:

Tretter, C.

Publication type:

Article

A note on the false discovery rate of novel peptides in proteogenomics.

Published in:

Bioinformatics, 2015, v. 31, n. 20, p. 3249, doi. 10.1093/bioinformatics/btv340

By:

Kun Zhang;
Yan Fu;
Wen-Feng Zeng;
Kun He;
Hao Chi;
Chao Liu;
Yan-Chang Li;
Yuan Gao;
Ping Xu;
Si-Min He

Publication type:

Article

Fast protein fold estimation from NMR-derived distance restraints.

Published in:

Bioinformatics, 2008, v. 24, n. 2, p. 272

By:

AnnamÃ¡ria F. ÃngyÃ¡n;
AndrÃ¡s Perczel;
SÃ¡ndor Pongor;
ZoltÃ¡n GÃ¡spÃ¡ri

Publication type:

Article

Banaschewski’s theorem for S-posets: regular injectivity and completeness.

Published in:

Semigroup Forum, 2010, v. 80, n. 2, p. 313, doi. 10.1007/s00233-010-9207-4

By:

Ebrahimi, M. M.;
Mahmoudi, M.;
Rasouli, H.

Publication type:

Article

GENERALIZATION OF (α - F<sub>d</sub>)-CONTRACTION ON QUASI-METRIC SPACE.

Published in:

Communications Series A1 Mathematics & Statistics, 2018, v. 68, n. 1, p. 35, doi. 10.31801/cfsuasmas.443587

By:

ACAR, ÖZLEM

Publication type:

Article

A dual rigidity of the sphere and the hyperbolic plane.

Published in:

Advances in Geometry, 2018, v. 18, n. 1, p. 37, doi. 10.1515/advgeom-2017-0039

By:

Caballero, Magdalena;
Rubio, Rafael M.

Publication type:

Article

Almost soliton duality.

Published in:

Advances in Geometry, 2015, v. 15, n. 2, p. 159, doi. 10.1515/advgeom-2015-0007

By:

Maschler, Gideon

Publication type:

Article

On metrically complete Bruhat-Tits buildings.

Published in:

Advances in Geometry, 2013, v. 13, n. 3, p. 497, doi. 10.1515/advgeom-2012-0036

By:

Martin, Benjamin;
Schillewaert, Jeroen;
Steinke, Günter F.;
Struyve, Koen

Publication type:

Article

An Axiomatic System and a Tableau Calculus for STIT Imagination Logic.

Published in:

Journal of Philosophical Logic, 2018, v. 47, n. 2, p. 259, doi. 10.1007/s10992-017-9426-1

By:

Olkhovikov, Grigory K.;
Wansing, Heinrich

Publication type:

Article

Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment).

Published in:

Journal of Philosophical Logic, 2017, v. 46, n. 3, p. 233, doi. 10.1007/s10992-016-9421-y

By:

Antonelli, Aldo

Publication type:

Article

Angellic Content.

Published in:

Journal of Philosophical Logic, 2016, v. 45, n. 2, p. 199, doi. 10.1007/s10992-015-9371-9

By:

Fine, Kit

Publication type:

Article

Natural Deduction for Modal Logic with a Backtracking Operator.

Published in:

Journal of Philosophical Logic, 2015, v. 44, n. 3, p. 237, doi. 10.1007/s10992-014-9316-8

By:

Payne, Jonathan

Publication type:

Article

Failure of Completeness in Proof-Theoretic Semantics.

Published in:

Journal of Philosophical Logic, 2015, v. 44, n. 3, p. 321, doi. 10.1007/s10992-014-9322-x

By:

Piecha, Thomas;
Campos Sanz, Wagner;
Schroeder-Heister, Peter

Publication type:

Article

Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism.

Published in:

Journal of Philosophical Logic, 2015, v. 44, n. 1, p. 1, doi. 10.1007/s10992-013-9306-2

By:

Holliday, Wesley

Publication type:

Article

Completeness in Hybrid Type Theory.

Published in:

Journal of Philosophical Logic, 2014, v. 43, n. 2/3, p. 209, doi. 10.1007/s10992-012-9260-4

By:

Areces, Carlos;
Blackburn, Patrick;
Huertas, Antonia;
Manzano, María

Publication type:

Article

A General Family of Preferential Belief Removal Operators.

Published in:

Journal of Philosophical Logic, 2012, v. 41, n. 4, p. 711, doi. 10.1007/s10992-012-9235-5

By:

Booth, Richard;
Meyer, Thomas;
Sombattheera, Chattrakul

Publication type:

Article

A Note on Harmony.

Published in:

Journal of Philosophical Logic, 2012, v. 41, n. 3, p. 613, doi. 10.1007/s10992-011-9208-0

By:

Francez, Nissim;
Dyckhoff, Roy

Publication type:

Article

Completeness of S4 for the Lebesgue Measure Algebra.

Published in:

Journal of Philosophical Logic, 2012, v. 41, n. 2, p. 287, doi. 10.1007/s10992-010-9161-3

By:

Lando, Tamar

Publication type:

Article

Validity, the Squeezing Argument and Alternative Semantic Systems: the Case of Aristotelian Syllogistic.

Published in:

Journal of Philosophical Logic, 2012, v. 41, n. 2, p. 387, doi. 10.1007/s10992-010-9166-y

By:

Andrade-Lotero, Edgar;
Dutilh Novaes, Catarina

Publication type:

Article

The Modal Logic of Gödel Sentences.

Published in:

Journal of Philosophical Logic, 2010, v. 39, n. 5, p. 577, doi. 10.1007/s10992-010-9140-8

By:

Kushida, Hirohiko

Publication type:

Article

Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences.

Published in:

Journal of Philosophical Logic, 2009, v. 38, n. 1, p. 83, doi. 10.1007/s10992-008-9085-3

By:

van Benthem, Johan;
Girard, Patrick;
Roy, Olivier

Publication type:

Article

Strong Completeness Theorems for Weak Logics of Common Belief.

Published in:

Journal of Philosophical Logic, 2003, v. 32, n. 2, p. 115, doi. 10.1023/A:1023032105687

By:

Lismont, Luc;
Mongin, Philippe

Publication type:

Article

REMARKS ON GREGORY'S 'ACTUALLY' OPERATOR.

Published in:

Journal of Philosophical Logic, 2002, v. 31, n. 3, p. 281, doi. 10.1023/A:1015726824270

By:

Blackburn, Patrick;
Marx, Maarten

Publication type:

Article

COMMENTS ON SOME COMPLETENESS THEOREMS OF URQUHART AND MENDEZ & SALTO.

Published in:

Journal of Philosophical Logic, 2001, v. 30, n. 1, p. 51, doi. 10.1023/A:1017549804474

By:

Harris, Kenneth;
Fitelson, Branden

Publication type:

Article

COMPLETENESS AND DECIDABILITY RESULTS FOR SOME PROPOSITIONAL MODAL LOGICS CONTAINING 'ACTUALLY'...

Published in:

Journal of Philosophical Logic, 2001, v. 30, n. 1, p. 57, doi. 10.1023/A:1017579410231

By:

Gregory, Dominic

Publication type:

Article

Undecidability and intuitionistic incompleteness.

Published in:

Journal of Philosophical Logic, 1996, v. 25, n. 5, p. 559, doi. 10.1007/BF00257386

By:

McCarty, D.C.

Publication type:

Article

Collect them all! Increasing product category cross-selling using the incompleteness effect.

Published in:

Journal of the Academy of Marketing Science, 2022, v. 50, n. 4, p. 713, doi. 10.1007/s11747-021-00835-6

By:

Bauer, Christoph;
Spangenberg, Katie;
Spangenberg, Eric R.;
Herrmann, Andreas

Publication type:

Article

General Bahr-Esseen inequalities and their applications.

Published in:

Journal of Inequalities & Applications, 2017, v. 2017, n. 1, p. 1, doi. 10.1186/s13660-017-1468-y

By:

Fazekas, István;
Pecsora, Sándor

Publication type:

Article

Completeness of Some Commutative Subalgebras Associated with Nijenhuis Operators on Lie Algebras.

Published in:

Doklady Mathematics, 2018, v. 97, n. 2, p. 137, doi. 10.1134/S1064562418020096

By:

Konyaev, A. Yu.

Publication type:

Article

On the completeness of systems of root vectors for first-order systems: Application to the Regge problem.

Published in:

Doklady Mathematics, 2013, v. 88, n. 3, p. 678, doi. 10.1134/S1064562413060148

By:

Lunyov, A.;
Malamud, M.

Publication type:

Article

Nonground Abductive Logic Programming with Probabilistic Integrity Constraints.

Published in:

Theory & Practice of Logic Programming, 2021, v. 21, n. 5, p. 557, doi. 10.1017/S1471068421000417

By:

BELLODI, ELENA;
GAVANELLI, MARCO;
ZESE, RICCARDO;
LAMMA, EVELINA;
RIGUZZI, FABRIZIO

Publication type:

Article

KOMPLETNOŚĆ ŚRODKÓW TRWAŁYCH.

Published in:

Research Papers of the Wroclaw University of Economics / Prace Naukowe Uniwersytetu Ekonomicznego we Wroclawiu, 2012, n. 255, p. 159

By:

Łakomiak, Aleksandra

Publication type:

Article

ON THE ISOPERIMETRIC PROBLEM WITH PERIMETER DENSITY r<sup>P</sup>.

Published in:

Communications on Pure & Applied Analysis, 2018, v. 17, n. 6, p. 2729, doi. 10.3934/cpaa.2018129

By:

Csató, Gyula

Publication type:

Article

Controlled finite automata.

Published in:

Acta Informatica, 2014, v. 51, n. 5, p. 327, doi. 10.1007/s00236-014-0199-5

By:

Meduna, Alexander;
Zemek, Petr

Publication type:

Article

Using transition set sequences to partition behaviors of petri nets.

Published in:

Acta Informatica, 2012, v. 49, n. 1, p. 15, doi. 10.1007/s00236-011-0147-6

By:

Wang, Yunhe;
Jiao, Li

Publication type:

Article

On α − ν-products of automata.

Published in:

Acta Informatica, 2011, v. 48, n. 7/8, p. 397, doi. 10.1007/s00236-011-0143-x

By:

Dömösi, Pál;
Maróti, György

Publication type:

Article