Works matching DE "EXTENSION (Logic)"

Results: 321

Ballard's Crash.

Published in:

1991

By:

Baudrillard, Jean

Publication type:

Literary Criticism

Set-valued loss-based risk measures.

Published in:

Positivity, 2018, v. 22, n. 3, p. 859, doi. 10.1007/s11117-017-0550-5

By:

Sun, Fei;
Chen, Yanhong;
Hu, Yijun

Publication type:

Article

Measure extension by local approximation.

Published in:

Positivity, 2018, v. 22, n. 1, p. 199, doi. 10.1007/s11117-017-0507-8

By:

Pinelis, Iosif

Publication type:

Article

Any admissible cycle-convergence behavior is possible for restarted GMRES at its initial cycles.

Published in:

Numerical Linear Algebra with Applications, 2011, v. 18, n. 3, p. 499, doi. 10.1002/nla.739

By:

Vecharynski, Eugene;
Langou, Julien

Publication type:

Article

Generalized Clos networks.

Published in:

Automation & Remote Control, 2009, v. 70, n. 10, p. 1737, doi. 10.1134/S0005117909100117

By:

Podlazov, V.;
Sokolov, V.

Publication type:

Article

An approximate optimal control for discrete models: Its design.

Published in:

Automation & Remote Control, 2006, v. 67, n. 7, p. 1082, doi. 10.1134/S0005117906070071

By:

Ukhin, M.

Publication type:

Article

The reduction theorem for relatively maximal subgroups.

Published in:

Bulletin of Mathematical Sciences (World Scientific), 2022, v. 12, n. 1, p. 1, doi. 10.1142/S1664360721500016

By:

Wenbin Guo;
Revin, Danila O.;
Vdovin, Evgeny P.

Publication type:

Article

Undecidability of the word problem for Yamamura's HNN-extension under nice conditions.

Published in:

Semigroup Forum, 2016, v. 93, n. 1, p. 86, doi. 10.1007/s00233-015-9750-0

By:

Ayyash, Mohammed;
Rodaro, Emanuele

Publication type:

Article

Maximal Dense Ideal Extensions of Locally Inverse Semigroups.

Published in:

Semigroup Forum, 2006, v. 72, n. 3, p. 441, doi. 10.1007/s00233-005-0555-4

By:

Pastijn, F. J.;
Oliveira, L.

Publication type:

Article

Can 'Big' Questions be Begged?

Published in:

Argumentation, 2011, v. 25, n. 1, p. 23, doi. 10.1007/s10503-010-9196-1

By:

Botting, David

Publication type:

Article

Analytic Tableaux for all of SIXTEEN.

Published in:

Journal of Philosophical Logic, 2015, v. 44, n. 5, p. 473, doi. 10.1007/s10992-014-9337-3

By:

Muskens, Reinhard;
Wintein, Stefan

Publication type:

Article

Independent Set Readings and Generalized Quantifiers.

Published in:

Journal of Philosophical Logic, 2010, v. 39, n. 1, p. 23, doi. 10.1007/s10992-009-9105-y

By:

Robaldo, Livio

Publication type:

Article

Mass Nouns in a Logic of Classes as Many.

Published in:

Journal of Philosophical Logic, 2009, v. 38, n. 3, p. 343, doi. 10.1007/s10992-008-9096-0

By:

Cocchiarella, Nino

Publication type:

Article

Interrogative Belief Revision in Modal Logic.

Published in:

Journal of Philosophical Logic, 2009, v. 38, n. 5, p. 527, doi. 10.1007/s10992-009-9101-2

By:

Enqvist, Sebastian

Publication type:

Article

PREDICATION AND EXTENSIONALIZATION.

Published in:

Journal of Philosophical Logic, 2008, v. 37, n. 5, p. 479, doi. 10.1007/s10992-007-9079-6

By:

Jespersen, Bjørn

Publication type:

Article

The Elimination of Self-Reference: Generalized Yablo-Series and the Theory of Truth.

Published in:

Journal of Philosophical Logic, 2007, v. 36, n. 3, p. 251, doi. 10.1007/s10992-006-9035-x

By:

Schlenker, P.

Publication type:

Article

On the Compositional Extension Problem.

Published in:

Journal of Philosophical Logic, 2004, v. 33, n. 6, p. 549

By:

Westerståhl, Dag

Publication type:

Article

CE IS NOT A CONSERVATIVE EXTENSION OF E.

Published in:

Journal of Philosophical Logic, 2000, v. 29, n. 3, p. 263, doi. 10.1023/A:1004731401855

By:

Mares, Edwin D.

Publication type:

Article

A self-dual induction for three-interval exchange transformations.

Published in:

Dynamical Systems: An International Journal, 2009, v. 24, n. 3, p. 393, doi. 10.1080/14689360902889747

By:

Ferenczi, Sébastien;
da Rocha, Luiz Fernando C.

Publication type:

Article

On Chains of Intermediate Rings Resultng from the Juxtaposition of Minimal Ring Extensions.

Published in:

Palestine Journal of Mathematics, 2015, v. 4, n. 2, p. 263

By:

Dobbs, David E.;
Shapiro, Jay

Publication type:

Article

In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming.

Published in:

Theory & Practice of Logic Programming, 2020, v. 20, n. 1, p. 99, doi. 10.1017/S1471068419000024

By:

BRY, FRANÇOIS

Publication type:

Article

Revisiting Explicit Negation in Answer Set Programming.

Published in:

Theory & Practice of Logic Programming, 2019, v. 19, n. 5/6, p. 908, doi. 10.1017/S1471068419000267

By:

AGUADO, FELICIDAD;
CABALAR, PEDRO;
FANDINNO, JORGE;
PEARCE, DAVID;
PÉREZ, GILBERTO;
VIDAL, CONCEPCIÓN

Publication type:

Article

A Strange Sort of Survival for Pinnel's Case: Collier v P & M J Wright (Holdings) Limited.

Published in:

Modern Law Review, 2008, v. 71, n. 4, p. 611, doi. 10.1111/j.1468-2230.2008.00708.x

By:

Austen-Baker, Richard

Publication type:

Article

On the incremental growth and shrinkage of LR goto-graphs.

Published in:

Acta Informatica, 2014, v. 51, n. 7, p. 419, doi. 10.1007/s00236-014-0201-2

By:

Cazzola, Walter;
Vacchi, Edoardo

Publication type:

Article

Extending extension theory for classifying data with numerical values.

Published in:

Neural Computing & Applications, 2013, v. 23, n. 1, p. 161, doi. 10.1007/s00521-011-0795-z

By:

Liu, Cheng-Hsiang

Publication type:

Article

Everything you always wanted to know about SEM (structural equations modeling) but were afraid to ask

Published in:

Journal of Consumer Psychology (John Wiley & Sons, Inc. ), 2009, v. 19, n. 4, p. 673, doi. 10.1016/j.jcps.2009.09.002

By:

Iacobucci, Dawn

Publication type:

Article

Internet of Things Perspectives.

Published in:

IT Professional, 2015, v. 17, n. 3, p. 60, doi. 10.1109/MITP.2015.43

By:

Sriram, Ram D.;
Sheth, Amit

Publication type:

Article

İMKB ENDEKSİNİN PARCH MODELLEMESİ.

Published in:

Akdeniz University Faculty of Economics & Administrative Sciences Faculty Journal / Akdeniz Universitesi Iktisadi ve Idari Bilimler Fakultesi Dergisi, 2002, v. 2, n. 3, p. 114

By:

TELATAR, Erdinç;
BİNAY, H. Soner

Publication type:

Article

“The summulists’ disputes de constantia subjecti ”: The young Leibniz and his teachers on eternal truths and existence.

Published in:

Intellectual History Review, 2014, v. 24, n. 2, p. 135, doi. 10.1080/17496977.2014.915471

By:

Picon, Marine

Publication type:

Article

Updates Under Pstable.

Published in:

Engineering Letters, 2007, v. 15, n. 2, p. 311

By:

Flores, Fernando Zacarías;
Galindo, Mauricio Osorio;
Plascencia, Edgar Fernández

Publication type:

Article

Latin squares.

Published in:

Resonance: Journal of Science Education, 2012, v. 17, n. 9, p. 895, doi. 10.1007/s12045-012-0098-4

By:

Bagchi, Bhaskar

Publication type:

Article

Postphenomenological Re-embodiment.

Published in:

Foundations of Science, 2012, v. 17, n. 4, p. 373, doi. 10.1007/s10699-011-9244-9

By:

Ihde, Don

Publication type:

Article

Technology and the Myth of 'Natural Man'.

Published in:

Foundations of Science, 2012, v. 17, n. 4, p. 385, doi. 10.1007/s10699-011-9246-7

By:

De Preester, Helena

Publication type:

Article

CALCULATING K-CONNECTEDNESS RELIABILITY USING STEINER BOUNDS.

Published in:

Mathematics of Operations Research, 1996, v. 21, n. 4, p. 905, doi. 10.1287/moor.21.4.905

By:

Chari, Manoj K.;
Provan, J. Scott

Publication type:

Article

Rejoinder to George.

Published in:

Mind (0026-4423), 1988, v. 97, n. 385, p. 110, doi. 10.1093/mind/XCVII.385.110

By:

WEIR, ALAN

Publication type:

Article

A Fallacy in Ramsey.

Published in:

Mind (0026-4423), 1986, v. 95, n. 380, p. 496, doi. 10.1093/mind/XCV.380.496

By:

HAZEN, ALLEN

Publication type:

Article

Finding the Maximum Safe Dose Level for Heteroscedastic Data.

Published in:

Journal of Biopharmaceutical Statistics, 2004, v. 14, n. 4, p. 843, doi. 10.1081/BIP-200035413

By:

Tamhane, Ajit C.;
Logan, Brent R.

Publication type:

Article

Constructions of categories of setoids from proof-irrelevant families.

Published in:

Archive for Mathematical Logic, 2017, v. 56, n. 1/2, p. 51, doi. 10.1007/s00153-016-0514-7

By:

Palmgren, Erik

Publication type:

Article

Generic Vopěnka's Principle, remarkable cardinals, and the weak Proper Forcing Axiom.

Published in:

Archive for Mathematical Logic, 2017, v. 56, n. 1/2, p. 1, doi. 10.1007/s00153-016-0511-x

By:

Bagaria, Joan;
Gitman, Victoria;
Schindler, Ralf

Publication type:

Article

An extension of the omega-rule.

Published in:

Archive for Mathematical Logic, 2016, v. 55, n. 3/4, p. 593, doi. 10.1007/s00153-016-0482-y

By:

Akiyoshi, Ryota;
Mints, Grigori

Publication type:

Article

Program extraction for 2-random reals.

Published in:

Archive for Mathematical Logic, 2013, v. 52, n. 5/6, p. 659, doi. 10.1007/s00153-013-0336-9

By:

Kreuzer, Alexander

Publication type:

Article

Typical Hesitant Fuzzy Negations.

Published in:

International Journal of Intelligent Systems, 2014, v. 29, n. 6, p. 525, doi. 10.1002/int.21655

By:

Bedregal, Benjamin;
Santiago, Regivan H.N.;
Bustince, Humberto;
Paternain, Daniel;
Reiser, Renata

Publication type:

Article

Coalition logic with individual, distributed and common knowledge.

Published in:

Journal of Logic & Computation, 2019, v. 29, n. 7, p. 1041, doi. 10.1093/logcom/exv085

By:

Ågotnes, Thomas;
Alechina, Natasha

Publication type:

Article

Symbolic possibilistic logic: completeness and inference methods.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 1, p. 219, doi. 10.1093/logcom/exx046

By:

Cayrol, Claudette;
Dubois, Didier;
Touazi, Fayçal

Publication type:

Article

A proof-theoretic study of bi-intuitionistic propositional sequent calculus.

Published in:

Journal of Logic & Computation, 2018, v. 28, n. 1, p. 165, doi. 10.1093/logcom/exx044

By:

Pinto, Luís;
Uustalu, Tarmo

Publication type:

Article

Beyond admissibility: accepting cycles in argumentation with game protocols for cogency criteria.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 4, p. 1235, doi. 10.1093/logcom/exu004

By:

BODANZA, GUSTAVO A.;
TOHMÉ, FERNANDO A.;
SIMARI, GUILLERMO R.

Publication type:

Article

Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages.

Published in:

Journal of Logic & Computation, 2001, v. 11, n. 4, doi. 10.1093/logcom/11.4.499

By:

May, Wolfgang;
Kandzia, Paul&hyphen;Thomas

Publication type:

Article

The Use of Impact and Self-Impact Correlations In Causal Analysis.

Published in:

Academy of Management Review, 1981, v. 6, n. 2, p. 301, doi. 10.5465/AMR.1981.4287855

By:

Ito, Jack K.;
Srinivas, Kalburgi M.

Publication type:

Article

The Simple Analytics of Competitive Equilibrium with Multiproduct Firms.

Published in:

American Economic Review, 1987, v. 77, n. 5, p. 941

By:

MacDonald, Glenn M.;
Slivinski, Alan

Publication type:

Article

Wackernagel's Looking Glass: The Mirror Principle and Bosnian-Croatian-Serbian Adjectival Long-Form Allomorphy.

Published in:

Scando-Slavica, 2013, v. 59, n. 2, p. 234, doi. 10.1080/00806765.2013.855367

By:

Pennington, James Joshua

Publication type:

Article