Works matching DE "AXIOMATIC set theory"

Results: 731

Basic Sentence Structure in Sudanese Arabic1.

Published in:

Journal of Semitic Studies, 2010, v. 55, n. 1, p. 237, doi. 10.1093/jss/fgq046

By:

Dickins, James

Publication type:

Article

INTUITIONISTIC FUZZY CLUSTERING ALGORITHM BASED ON BOOLE MATRIX AND ASSOCIATION MEASURE.

Published in:

International Journal of Information Technology & Decision Making, 2013, v. 12, n. 1, p. 95, doi. 10.1142/S0219622013500053

By:

ZHAO, HUA;
XU, ZESHUI;
WANG, ZHONG

Publication type:

Article

General patterns of interaction in stochastic fusion.

Published in:

Natural Computing, 2013, v. 12, n. 3, p. 429, doi. 10.1007/s11047-012-9346-5

By:

Ciobanu, Gabriel

Publication type:

Article

Quantum complementarity and logical indeterminacy.

Published in:: Natural Computing, 2009, v. 8, n. 3, p. 449, doi. 10.1007/s11047-009-9118-z
Publication type:: Article

Axiomatic Quantum Field Theory in Curved Spacetime.

Published in:

Communications in Mathematical Physics, 2010, v. 293, n. 1, p. 85, doi. 10.1007/s00220-009-0880-7

By:

Hollands, Stefan;
Wald, Robert M.

Publication type:

Article

PCT Theorem for the Operator Product Expansion in Curved Spacetime.

Published in:

Communications in Mathematical Physics, 2004, v. 244, n. 2, p. 209, doi. 10.1007/s00220-003-0991-5

By:

Hollands, Stefan

Publication type:

Article

Finite axiomatizability of local set theory.

Published in:

Mathematical Notes, 2011, v. 90, n. 1/2, p. 64, doi. 10.1134/S000143461107008X

By:

Zakharov, V.;
Yashin, A.

Publication type:

Article

A report on a game on the universe of sets.

Published in:

Mathematical Notes, 2007, v. 81, n. 5/6, p. 716, doi. 10.1134/S0001434607050197

By:

Savel’ev, D.

Publication type:

Article

Model Approach to Nonstandard Analysis in the Context of Axiomatic Set Theory.

Published in:

Mathematical Notes, 2006, v. 79, n. 1/2, p. 122, doi. 10.1007/s11006-006-0012-z

By:

Yakovlev, I. V.

Publication type:

Article

Local Set Theory.

Published in:

Mathematical Notes, 2005, v. 77, n. 1/2, p. 177, doi. 10.1007/s11006-005-0019-x

By:

Zakharov, V. K.

Publication type:

Article

On the Determination of Subjective Probability by Choices.

Published in:

Management Science, 2000, v. 46, n. 2, p. 233, doi. 10.1287/mnsc.46.2.233.11929

By:

Karni, Edi;
Mongin, Philippe

Publication type:

Article

RESOLVING A CONFLICT SITUATION WITH A REFERENCE OUTCOME: AN AXIOMATIC MODEL.

Published in:

Management Science, 1988, v. 34, n. 11, p. 1303, doi. 10.1287/mnsc.34.11.1303

By:

Gupta, Sunil;
Livne, Zvi A.

Publication type:

Article

AN AXIOMATIC APPROACH TO EXPERT RESOLUTION.

Published in:

Management Science, 1983, v. 29, n. 1, p. 24, doi. 10.1287/mnsc.29.1.24

By:

Morris, Peter A.

Publication type:

Article

THE SHAPLEY VALUE AS AIRCRAFT LANDING FEES--REVISITED.

Published in:

Management Science, 1982, v. 28, n. 8, p. 869, doi. 10.1287/mnsc.28.8.869

By:

Dubey, Pradeep

Publication type:

Article

KLEIN VS MEHRTENS: RESTORING THE REPUTATION OF A GREAT MODERN.

Published in:

Matematychni Studii, 2017, v. 48, n. 2, p. 189, doi. 10.15330/ms.48.2.189-219

By:

BAIR, J.;
BȽASZCZYK, P.;
HEINIG, P.;
KATZ, M.;
SCHÄFERMEYER, J. P.;
SHERRY, D.

Publication type:

Article

WIDE SETS, ZFCU, AND THE ITERATIVE CONCEPTION.

Published in:: Journal of Philosophy, 2014, v. 111, n. 2, p. 57, doi. 10.5840/jphil201411124
Publication type:: Article

ON PUTNAM AND HIS MODELS.

Published in:

Journal of Philosophy, 2001, v. 98, n. 7, p. 331, doi. 10.2307/2678439

By:

Bays, Timothy

Publication type:

Article

Fixpointed Idempotent Uninorm (Based) Logics.

Published in:

Mathematics (2227-7390), 2019, v. 7, n. 1, p. 107, doi. 10.3390/math7010107

By:

Yang, Eunsuk

Publication type:

Article

CURVATURE AND GROUP THEORY.

Published in:

Contributions. Section of Natural, Mathematical & Biotechnical Sciences, 2017, v. 38, n. 2, p. 147, doi. 10.20903/csnmbs.masa.2017.38.2.110

By:

Geoghegan, Ross

Publication type:

Article

ωβ-SEPARATION AXIOMS.

Published in:

Scientific Studies & Research. Series Mathematics & Informatics, 2015, v. 25, n. 1, p. 87

By:

ALJARRAH, H. H.;
NOORANI, M. S. M.;
NOIRI, T.

Publication type:

Article

Final and sequential behaviours of M-automata.

Published in:

Acta Informatica, 2009, v. 46, n. 5, p. 361, doi. 10.1007/s00236-009-0098-3

By:

Ciobanu, Gabriel;
Rudeanu, Sergiu

Publication type:

Article

HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR.

Published in:

Reports on Mathematical Logic, 2014, n. 49, p. 47, doi. 10.4467/20842589RM.14.004.2274

By:

CELANI, Sergio A.;
MONTANGIE, Daniela

Publication type:

Article

MODELS OF PT– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE.

Published in:

Review of Symbolic Logic, 2017, v. 10, n. 1, p. 187, doi. 10.1017/S1755020316000356

By:

CIEŚLIŃSKI, CEZARY;
ŁEŁYK, MATEUSZ;
WCISŁO, BARTOSZ

Publication type:

Article

OBLIGATION AS WEAKEST PERMISSION: A STRONGLY COMPLETE AXIOMATIZATION.

Published in:

Review of Symbolic Logic, 2016, v. 9, n. 2, p. 370, doi. 10.1017/S1755020316000034

By:

VAN DE PUTTE, FREDERIK

Publication type:

Article

HOW TO EXPRESS SELF-REFERENTIAL PROBABILITY. A KRIPKEAN PROPOSAL.

Published in:

Review of Symbolic Logic, 2015, v. 8, n. 4, p. 680, doi. 10.1017/S1755020315000118

By:

CAMPBELL-MOORE, CATRIN

Publication type:

Article

AXIOMATIZING SEMANTIC THEORIES OF TRUTH?

Published in:

Review of Symbolic Logic, 2015, v. 8, n. 2, p. 257, doi. 10.1017/S1755020314000379

By:

FISCHER, MARTIN;
HALBACH, VOLKER;
KRIENER, JÖNNE;
STERN, JOHANNES

Publication type:

Article

THE GENETIC VERSUS THE AXIOMATIC METHOD: RESPONDING TO FEFERMAN 1977.

Published in:

Review of Symbolic Logic, 2013, v. 6, n. 1, p. 24, doi. 10.1017/S1755020312000135

By:

LANDRY, ELAINE

Publication type:

Article

REVISION REVISITED.

Published in:

Review of Symbolic Logic, 2012, v. 5, n. 4, p. 642, doi. 10.1017/S175502031100030X

By:

HORSTEN, LEON;
LEIGH, GRAHAM E.;
LEITGEB, HANNES;
WELCH, PHILIP

Publication type:

Article

THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES.

Published in:

Review of Symbolic Logic, 2011, v. 4, n. 2, p. 205, doi. 10.1017/S1755020310000407

By:

Kahle, Reinhard

Publication type:

Article

AN AXIOMATIC THEORY OF WELL-ORDERINGS.

Published in:

Review of Symbolic Logic, 2011, v. 4, n. 2, p. 186, doi. 10.1017/S1755020310000390

By:

Deiser, Oliver

Publication type:

Article

POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS.

Published in:

Review of Symbolic Logic, 2011, v. 4, n. 1, p. 81, doi. 10.1017/S1755020310000249

By:

Hirsch, Robin;
Mikulás, Szabolcs

Publication type:

Article

A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION.

Published in:

Review of Symbolic Logic, 2011, v. 4, n. 1, p. 43, doi. 10.1017/S1755020310000195

By:

Von Plato, Jan

Publication type:

Article

ON THE INFINITE IN MEREOLOGY WITH PLURAL QUANTIFICATION.

Published in:

Review of Symbolic Logic, 2011, v. 4, n. 1, p. 54, doi. 10.1017/S1755020310000158

By:

Carrara, Massimiliano;
Martino, Enrico

Publication type:

Article

PASCH'S PHILOSOPHY OF MATHEMATICS.

Published in:

Review of Symbolic Logic, 2010, v. 3, n. 1, p. 93, doi. 10.1017/S1755020309990311

By:

Schlimm, Dirk

Publication type:

Article

TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY.

Published in:

Review of Symbolic Logic, 2010, v. 3, n. 1, p. 71, doi. 10.1017/S1755020309990281

By:

Weber, Zach

Publication type:

Article

MINIMAL TRUTH AND INTERPRETABILITY.

Published in:

Review of Symbolic Logic, 2009, v. 2, n. 4, p. 799, doi. 10.1017/S1755020309990232

By:

Fischer, Martin

Publication type:

Article

MEASURING THE SIZE OF INFINITE COLLECTIONS OF NATURAL NUMBERS: WAS CANTOR'S THEORY OF INFINITE NUMBER INEVITABLE?

Published in:

Review of Symbolic Logic, 2009, v. 2, n. 4, p. 612, doi. 10.1017/S1755020309990128

By:

Mancosu, Paolo

Publication type:

Article

A FORMAL SYSTEM FOR EUCLID'S ELEMENTS.

Published in:

Review of Symbolic Logic, 2009, v. 2, n. 4, p. 700, doi. 10.1017/S1755020309990098

By:

Avigad, Jeremy;
Dean, Edward;
Mumma, John

Publication type:

Article

A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS.

Published in:

Review of Symbolic Logic, 2009, v. 2, n. 4, p. 684, doi. 10.1017/S175502030909025X

By:

Bruni, Riccardo

Publication type:

Article

DECIDABILITY AND UNIVERSALITY IN THE AXIOMATIC THEORY OF COMPUTABILITY AND ALGORITHMS.

Published in:

International Journal of Foundations of Computer Science, 2012, v. 23, n. 7, p. 1465, doi. 10.1142/S012905411240059X

By:

BURGIN, MARK

Publication type:

Article

ON THE IMPLICATION OF MULTIVALUED DEPENDENCIES IN PARTIAL DATABASE RELATIONS.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 3, p. 691, doi. 10.1142/S0129054108005899

By:

LINK, SEBASTIAN

Publication type:

Article

Nest-monotonic two-stage acts and exponential probability capacities.

Published in:

Economic Theory, 2012, v. 50, n. 1, p. 99, doi. 10.1007/s00199-010-0551-0

By:

Koida, Nobuo

Publication type:

Article

Generating sets of free groups and the axiom of choice.

Published in:

Mathematical Logic Quarterly, 2014, v. 60, n. 3, p. 239, doi. 10.1002/malq.201300088

By:

Kleppmann, Philipp

Publication type:

Article

Craig interpolation for semilinear substructural logics.

Published in:

Mathematical Logic Quarterly, 2012, v. 58, n. 6, p. 468, doi. 10.1002/malq.201200004

By:

Marchioni, Enrico;
Metcalfe, George

Publication type:

Article

On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras.

Published in:

Mathematical Logic Quarterly, 2011, v. 57, n. 4, p. 384, doi. 10.1002/malq.201010015

By:

Ahmed, Tarek Sayed

Publication type:

Article

The Ultrafilter Closure in ZF.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 3, p. 331, doi. 10.1002/malq.200910014

By:

Gutierres, Gonçalo

Publication type:

Article

Unavoidable sequences in constructive analysis.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 2, p. 205, doi. 10.1002/malq.200810046

By:

Moschovakis, Joan Rand

Publication type:

Article

Splitting stationary sets from weak forms of Choice.

Published in:

Mathematical Logic Quarterly, 2009, v. 55, n. 3, p. 299, doi. 10.1002/malq.200810011

By:

Larson, Paul;
Shelah, Saharon

Publication type:

Article

Indestructibility under adding Cohen subsets and level by level equivalence.

Published in:

Mathematical Logic Quarterly, 2009, v. 55, n. 3, p. 271, doi. 10.1002/malq.200810006

By:

Apter, Arthur W.

Publication type:

Article

Unions and the axiom of choice.

Published in:

Mathematical Logic Quarterly, 2008, v. 54, n. 6, p. 652, doi. 10.1002/malq.200710073

By:

Cruz, Omar De la;
Hall, Eric J.;
Howard, Paul;
Keremedis, Kyriakos;
Rubin, Jean E.

Publication type:

Article