Works matching DE "HERBRAND'S theorem (Number theory)"

Results: 36

Defeasibility in answer set programs with defaults and argumentation rules.

Published in:

Semantic Web (1570-0844), 2015, v. 6, n. 1, p. 81, doi. 10.3233/SW-140140

By:

Wan, Hui;
Kifer, Michael;
Grosof, Benjamin

Publication type:

Article

Herbrand's theorem revisited.

Published in:

PAMM: Proceedings in Applied Mathematics & Mechanics, 2016, v. 16, n. 1, p. 905, doi. 10.1002/pamm.201610441

By:

Afshari, Bahareh;
Hetzl, Stefan;
Leigh, Graham E.

Publication type:

Article

A structure theorem of Dirac-harmonic maps between spheres.

Published in:

Calculus of Variations & Partial Differential Equations, 2009, v. 35, n. 4, p. 409, doi. 10.1007/s00526-008-0210-5

By:

Ling Yang

Publication type:

Article

Online Bayesian inference for the parameters of PRISM programs.

Published in:

Machine Learning, 2012, v. 89, n. 3, p. 279, doi. 10.1007/s10994-012-5305-8

By:

Cussens, James

Publication type:

Article

Constraint-based probabilistic modeling for statistical abduction.

Published in:

Machine Learning, 2011, v. 83, n. 2, p. 241, doi. 10.1007/s10994-010-5206-7

By:

Sato, Taisuke;
Ishihata, Masakazu;
Inoue, Katsumi

Publication type:

Article

Arithmetic of positive characteristic L-series values in Tate algebras.

Published in:

Compositio Mathematica, 2016, v. 152, n. 1, p. 1, doi. 10.1112/S0010437X15007563

By:

Anglès, B.;
Pellarin, F.;
Tavares Ribeiro, F.;
Demeslay, F.

Publication type:

Article

A herbrandized functional interpretation of classical first-order logic.

Published in:

Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 523, doi. 10.1007/s00153-017-0555-6

By:

Ferreira, Fernando;
Ferreira, Gilda

Publication type:

Article

On the complexity of finding falsifying assignments for Herbrand disjunctions.

Published in:

Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 769, doi. 10.1007/s00153-015-0439-6

By:

Pudlák, Pavel

Publication type:

Article

Herbrand consistency of some finite fragments of bounded arithmetical theories.

Published in:

Archive for Mathematical Logic, 2013, v. 52, n. 3/4, p. 317, doi. 10.1007/s00153-012-0318-3

By:

Salehi, Saeed

Publication type:

Article

Extracting Herbrand disjunctions by functional interpretation.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 5, p. 633, doi. 10.1007/s00153-005-0275-1

By:

Gerhardy, Philipp;
Kohlenbach, Ulrich

Publication type:

Article

On Herbrand consistency in weak arithmetic.

Published in:

Archive for Mathematical Logic, 2001, v. 40, n. 6, p. 399, doi. 10.1007/s001530000072

By:

Adamowicz, Zofia;
Zbierski, Paweł

Publication type:

Article

A proof-theoretic analysis of collection.

Published in:

Archive for Mathematical Logic, 1998, v. 37, n. 5/6, p. 275, doi. 10.1007/s001530050099

By:

Beklemishev, Lev D.

Publication type:

Article

Two applications of Boolean models.

Published in:

Archive for Mathematical Logic, 1998, v. 37, n. 3, p. 143, doi. 10.1007/s001530050088

By:

Coquand, Thierry

Publication type:

Article

CERES for first-order schemata.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 7, p. 1897, doi. 10.1093/logcom/exx003

By:

LEITSCH, ALEXANDER;
PELTIER, NICOLAS;
WELLER, DANIEL

Publication type:

Article

Proof theory of witnessed Gödel logic: A negative result.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 1, p. 51, doi. 10.1093/logcom/ext018

By:

BAAZ, MATTHIAS;
CIABATTONI, AGATA

Publication type:

Article

Separating bounded arithmetical theories by Herbrand consistency.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 3, p. 545, doi. 10.1093/logcom/exr005

By:

Salehi, Saeed

Publication type:

Article

Herbrand's Theorem, Skolemization and Proof Systems for First-Order Łukasiewicz Logic.

Published in:

Journal of Logic & Computation, 2010, v. 20, n. 1, p. 35, doi. 10.1093/logcom/exn059

By:

BAAZ, MATTHIAS;
METCALFE, GEORGE

Publication type:

Article

Generalizing Def and Pos to Type Analysis.

Published in:

Journal of Logic & Computation, 2002, v. 12, n. 3, p. 497, doi. 10.1093/logcom/12.3.497

By:

Hill, Patricia M.;
Spoto, Fausto

Publication type:

Article

Open default theories over closed domains.

Published in:

Logic Journal of the IGPL, 1999, v. 7, n. 5, p. 577, doi. 10.1093/jigpal/7.5.577

By:

Kaminski, M

Publication type:

Article

Variable compactness in 1-order logic.

Published in:

Logic Journal of the IGPL, 1999, v. 7, n. 3, p. 327, doi. 10.1093/jigpal/7.3.327

By:

Gordeev, L

Publication type:

Article

On the Relationship between CWA, Minimal Model, and Minimal Herbrand Model Semantics.

Published in:

International Journal of Intelligent Systems, 1990, v. 5, n. 5, p. 549, doi. 10.1002/int.4550050507

By:

Gelfond, Michael;
Przymusinska, Halina;
Przymusinski, Teodor

Publication type:

Article

Reactive Computing as Model Generation.

Published in:

New Generation Computing, 2015, v. 33, n. 1, p. 33, doi. 10.1007/s00354-015-0103-z

By:

Kowalski, Robert;
Sadri, Fariba

Publication type:

Article

Asymptotic behavior of Ext functors for modules of finite complete intersection dimension.

Published in:

Mathematische Zeitschrift, 2011, v. 269, n. 3/4, p. 1005, doi. 10.1007/s00209-010-0771-9

By:

Celikbas, Olgur;
Dao, Hailong

Publication type:

Article

On definite program answers and least Herbrand models.

Published in:

Theory & Practice of Logic Programming, 2016, v. 16, n. 4, p. 498, doi. 10.1017/S1471068416000089

By:

DRABENT, WŁODZIMIERZ

Publication type:

Article

Functional answer set programming.

Published in:

Theory & Practice of Logic Programming, 2011, v. 11, n. 2/3, p. 203, doi. 10.1017/S1471068410000517

By:

CABALAR, PEDRO

Publication type:

Article

Improving PARMA trailing.

Published in:

Theory & Practice of Logic Programming, 2006, v. 6, n. 6, p. 609, doi. 10.1017/S1471068405002620

By:

TOM SCHRIJVERS;
BART DEMOEN;
MARIA GARCIA DE LA BANDA;
PETER J. STUCKEY

Publication type:

Article

An Extension Principle for Fuzzy Logics.

Published in:

Mathematical Logic Quarterly, 1994, v. 40, n. 3, p. 357, doi. 10.1002/malq.19940400306

By:

Gerla, Giangiacomo

Publication type:

Article

An approximate Herbrand's theorem and definable functions in metric structures.

Published in:

Mathematical Logic Quarterly, 2012, v. 58, n. 3, p. 208, doi. 10.1002/malq.201110061

By:

Goldbring, Isaac

Publication type:

Article

Non-elementary speed-ups in logic calculi.

Published in:

Mathematical Logic Quarterly, 2008, v. 54, n. 6, p. 629, doi. 10.1002/malq.200710067

By:

Arai, Toshiyasu

Publication type:

Article

Herbrandizing search problems in Bounded Arithmetic.

Published in:

Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. 577, doi. 10.1002/malq.200410005

By:

Hanika, Jiří

Publication type:

Article

The Herbrand topos.

Published in:

Mathematical Proceedings of the Cambridge Philosophical Society, 2013, v. 155, n. 2, p. 361, doi. 10.1017/S0305004113000303

By:

VAN DEN BERG, BENNO

Publication type:

Article

ON DEEPLY RAMIFIED EXTENSIONS.

Published in:

Journal of the London Mathematical Society, 1998, v. 57, n. 2, p. 325, doi. 10.1112/S0024610798006097

By:

FESENKO, IVAN B.

Publication type:

Article

A Herbrand-Ribet theorem for function fields.

Published in:

Inventiones Mathematicae, 2012, v. 188, n. 2, p. 253, doi. 10.1007/s00222-011-0346-3

By:

Taelman, Lenny

Publication type:

Article

À propos d'un lemme de Ribet.

Published in:

Bulletin (New Series) of the American Mathematical Society, 2011, v. 48, n. 2, p. 283

By:

Graftieaux, Philippe

Publication type:

Article

HERBRAND-CONFLUENCE.

Published in:

Logical Methods in Computer Science (LMCS), 2013, v. 9, n. 4, p. 1, doi. 10.2168/LMCS-9(4:24)2013

By:

HETZL, STEFAN;
STRASSBURGER, LUTZ

Publication type:

Article

HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY.

Published in:

Bulletin of Symbolic Logic, 2015, v. 21, n. 2, p. 111, doi. 10.1017/bsl.2015.6

By:

BEESON, MICHAEL;
BOUTRY, PIERRE;
NARBOUX, JULIEN

Publication type:

Article