Automated Reasoning in Some Local Extensions of Ordered Structures.
- Published in:
- Journal of Multiple-Valued Logic & Soft Computing, 2007, v. 13, n. 4-6, p. 397
- By:
- Publication type:
- Article
Works matching DE "AXIOMATIC set theory"
Results: 735
1
2
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:
- Publication type:
- Article
3
Non-Cooperative Bargaining Theory: An Introduction.
- Published in:
- Review of Economic Studies, 1986, v. 53, n. 5, p. 709, doi. 10.2307/2297715
- By:
- Publication type:
- Article
4
Axioms for Lexicographic Preferences.
- Published in:
- Review of Economic Studies, 1975, v. 42, n. 3, p. 415, doi. 10.2307/2296854
- By:
- Publication type:
- Article
5
AXIOMATIC CHARACTERIZATIONS OF THE RAIFFA AND THE KALAI-SMORODINSKY SOLUTIONS TO THE BARGAINING PROBLEM.
- Published in:
- Operations Research, 1989, v. 37, n. 6, p. 972, doi. 10.1287/opre.37.6.972
- By:
- Publication type:
- Article
6
Location Dominance on Spherical Surfaces.
- Published in:
- Operations Research, 1979, v. 27, n. 5, p. 972, doi. 10.1287/opre.27.5.972
- By:
- Publication type:
- Article
7
On argument acceptability change towards legal interpretation dynamics.
- Published in:
- Artificial Intelligence & Law, 2021, v. 29, n. 3, p. 311, doi. 10.1007/s10506-020-09277-x
- By:
- Publication type:
- Article
8
An axiomatic characterization of temporalised belief revision in the law.
- Published in:
- Artificial Intelligence & Law, 2019, v. 27, n. 4, p. 347, doi. 10.1007/s10506-019-09241-4
- By:
- Publication type:
- Article
9
De Vries Algebras and Compact Regular Frames.
- Published in:
- Applied Categorical Structures, 2012, v. 20, n. 6, p. 569, doi. 10.1007/s10485-011-9252-5
- By:
- Publication type:
- Article
10
Interval distribution function of a bounded chaotic sequence as a basis of nonaxiomatic probability theory.
- Published in:
- Ukrainian Mathematical Journal, 2008, v. 60, n. 8, p. 1318, doi. 10.1007/s11253-009-0125-0
- By:
- Publication type:
- Article
11
The Axiomatic Rank of Levi Classes.
- Published in:
- Algebra & Logic, 2018, v. 57, n. 5, p. 381, doi. 10.1007/s10469-018-9510-9
- By:
- Publication type:
- Article
12
Interpolation in weakly transitive modal logics.
- Published in:
- Algebra & Logic, 2012, v. 51, n. 2, p. 131, doi. 10.1007/s10469-012-9177-6
- By:
- Publication type:
- Article
13
Finiteness of A Set of Quasivarieties of Torsion-Free Metabelian Groups of Axiomatic Rank 2.
- Published in:
- Algebra & Logic, 2011, v. 50, n. 3, p. 195, doi. 10.1007/s10469-011-9135-8
- By:
- Publication type:
- Article
14
DUALITY FOR DIAGRAM CHASING A LA MAC LANE IN NON-ABELIAN CATEGORIES.
- Published in:
- Homology, Homotopy & Applications, 2016, v. 18, n. 2, p. 85, doi. 10.4310/HHA.2016.v18.n2.a5
- By:
- Publication type:
- Article
15
STRONG EXCISION AND STRONG SHAPE INVARIANCE ARE EQUIVALENT FOR HOMOLOGY THEORIES ON THE CATEGORY OF COMPACT METRIC PAIRS.
- Published in:
- Homology, Homotopy & Applications, 2008, v. 10, n. 1, p. 345, doi. 10.4310/HHA.2008.v10.n1.a15
- By:
- Publication type:
- Article
16
SIMPLICIAL MODEL CATEGORY STRUCTURES ON THE CATEGORY OF CHAIN FUNCTORS.
- Published in:
- Homology, Homotopy & Applications, 2007, v. 9, n. 1, p. 107, doi. 10.4310/HHA.2007.v9.n1.a4
- By:
- Publication type:
- Article
17
SUPPORT VARIETIES: AN IDEAL APPROACH.
- Published in:
- Homology, Homotopy & Applications, 2007, v. 9, n. 1, p. 45, doi. 10.4310/HHA.2007.v9.n1.a2
- By:
- Publication type:
- Article
18
On the Properties of Reachability, Observability, Controllability, and Constructibility of Discrete-Time Positive Time-Invariant Linear Systems with Aperiodic Choice of the Sampling Instants.
- Published in:
- Discrete Dynamics in Nature & Society, 2007, p. 1, doi. 10.1155/2007/84913
- By:
- Publication type:
- Article
19
Exhaustively Axiomatizing S3<sup>°</sup>→ and S4<sup>°</sup>→.
- Published in:
- Teorema, 2008, v. 27, n. 2, p. 79
- By:
- Publication type:
- Article
20
Theory of Hypersoft Sets: Axiomatic Properties, Aggregation Operations, Relations, Functions and Matrices.
- Published in:
- Neutrosophic Sets & Systems, 2022, v. 51, p. 744
- By:
- Publication type:
- Article
21
Communication vs. Information, an Axiomatic Neutrosophic Solution.
- Published in:
- Neutrosophic Sets & Systems, 2013, n. 1, p. 38
- By:
- Publication type:
- Article
22
THE DIRAC EQUATION AS THE CONSEQUENCE OF THE QUANTUM-MECHANICAL SPIN 1/2 DOUBLET MODEL.
- Published in:
- TWMS Journal of Applied & Engineering Mathematics, 2013, v. 3, n. 1, p. 62
- By:
- Publication type:
- Article
23
Open-endedness, Schemas and Ontological Commitment.
- Published in:
- Nous (0029-4624), 2010, v. 44, n. 2, p. 329, doi. 10.1111/j.1468-0068.2010.00742.x
- By:
- Publication type:
- Article
24
One million miles to go: taking the axiomatic road to defining exploitation.
- Published in:
- Cambridge Journal of Economics, 2017, v. 41, n. 6, p. 1607, doi. 10.1093/cje/bew053
- By:
- Publication type:
- Article
25
Max Weber within the Methodenstreit.
- Published in:
- Cambridge Journal of Economics, 2017, v. 41, n. 4, p. 1161, doi. 10.1093/cje/bew051
- By:
- Publication type:
- Article
26
New classification technique: fuzzy oblique decision tree.
- Published in:
- Transactions of the Institute of Measurement & Control, 2019, v. 41, n. 8, p. 2185, doi. 10.1177/0142331218774614
- Publication type:
- Article
27
On FE-precomplete classes in countable-valued logic.
- Published in:
- Discrete Mathematics & Applications, 2017, v. 27, n. 2, p. 103, doi. 10.1515/dma-2017-0012
- By:
- Publication type:
- Article
28
IS THE MISSING AXIOM OF MATROID THEORY LOST FOREVER?
- Published in:
- Quarterly Journal of Mathematics, 2014, v. 65, n. 4, p. 1397, doi. 10.1093/qmath/hat031
- By:
- Publication type:
- Article
29
ASSOCIATIVE MEANING AND SCALAR IMPLICATURE: A LINGUISTIC-SEMIOTIC ACCOUNT.
- Published in:
- Linguistica Online, 2014, n. 16, p. 1
- By:
- Publication type:
- Article
30
Curiosities concerning Weak Topology in Hubert Space.
- Published in:
- American Mathematical Monthly, 2006, v. 113, n. 5, p. 447, doi. 10.2307/27641952
- By:
- Publication type:
- Article
31
A Cantor-Bernstein Theorem for Paths in Graphs.
- Published in:
- American Mathematical Monthly, 2006, v. 113, n. 2, p. 161, doi. 10.2307/27641867
- By:
- Publication type:
- Article
32
Four significant axiomatic systems and some of the issues associated with them.
- Published in:
- American Mathematical Monthly, 1995, v. 102, n. 1, p. 62, doi. 10.2307/2974861
- By:
- Publication type:
- Article
33
Criteria for Choosing An Accounting Model.
- Published in:
- Accounting Horizons, 1995, v. 9, n. 1, p. 42
- By:
- Publication type:
- Article
34
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:
- Publication type:
- Article
35
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:
- Publication type:
- Article
36
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:
- Publication type:
- Article
37
AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
- Published in:
- Review of Symbolic Logic, 2015, v. 8, n. 2, p. 257, doi. 10.1017/S1755020314000379
- By:
- Publication type:
- Article
38
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:
- Publication type:
- Article
39
REVISION REVISITED.
- Published in:
- Review of Symbolic Logic, 2012, v. 5, n. 4, p. 642, doi. 10.1017/S175502031100030X
- By:
- Publication type:
- Article
40
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:
- Publication type:
- Article
41
AN AXIOMATIC THEORY OF WELL-ORDERINGS.
- Published in:
- Review of Symbolic Logic, 2011, v. 4, n. 2, p. 186, doi. 10.1017/S1755020310000390
- By:
- Publication type:
- Article
42
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:
- Publication type:
- Article
43
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:
- Publication type:
- Article
44
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:
- Publication type:
- Article
45
PASCH'S PHILOSOPHY OF MATHEMATICS.
- Published in:
- Review of Symbolic Logic, 2010, v. 3, n. 1, p. 93, doi. 10.1017/S1755020309990311
- By:
- Publication type:
- Article
46
TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY.
- Published in:
- Review of Symbolic Logic, 2010, v. 3, n. 1, p. 71, doi. 10.1017/S1755020309990281
- By:
- Publication type:
- Article
47
MINIMAL TRUTH AND INTERPRETABILITY.
- Published in:
- Review of Symbolic Logic, 2009, v. 2, n. 4, p. 799, doi. 10.1017/S1755020309990232
- By:
- Publication type:
- Article
48
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:
- Publication type:
- Article
49
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:
- Publication type:
- Article
50
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:
- Publication type:
- Article