Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета   Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум    Авторизация         Поиск по указателям Rosser J.B., Turquette A.R. — Many-valued logics Обсудите книгу на научном форуме Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter Название: Many-valued logics Авторы: Rosser J.B., Turquette A.R. Язык: Рубрика: Математика/ Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 1952 Количество страниц: 127 Добавлена в каталог: 22.11.2012 Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID Предметный указатель       3 ukasiewicz      15 22 42 84 A priori reason      8 A-stipulation      44 48 107 Absolute truth      3 Acceptable statement      28 30 34 60 62 66 69 82 89 Ackermann      49n Analogy      8 AND      15 18 applications      8 110 As strong as      28 30 45 Assertable statements      15 27 Assignment of truth values      52 61 Associative      15 atoms      6 Axiom schemes      32 33 38 44 62 63 88 104 Axiomatic stipulation      28 41 43 44 45 60 73 82 84 88 103 Axiomatie method      10 27 Axiomatization      27 62 Axioms      27 32 33 63 B-stipulation      44 107 Barcan      84n 108 Basic function      11 29 30 50 84 107 Bergmann      48n Bernstein      31 Binding of variables      5 50 84 Bochvar      1n BOM      5n Brouwersche axiom      47 108 Center of gravity      5 8 Chain symbol      33 Church      29n 32n 44n 49n 74n 75 Closure      81 Common sense      5 Commutative      15 Completeness      1 13 22 28 35 38 47 60 73 82 89 102 110 Conditional      15 22 Consistency      1 28 42 73 78 Consistent set      77 80 Constants      78 Constructive proof      35 Corollary      45 82 Decision problems      110 Deduction Theorem      44 74 94 105 Deductively complete      28 38 47 60 73 82 84 102 110 Definition      6 demonstration      34 40 105 Designated      12 74 Destouches      2n Dialogue      2 Distributive      15 Divine right      4 7 Dugundji      32n 47n Elegance      88 Embedded logic      8 English      1 EQUIVALENCE      41 43 45 48 84 88 103 104 106 Euclidean geometry      7 8 evidence      7 Existential quantifier      49 95 102 Experiment      8 F-consistent      28 42 73 79 F-decidable      28 42 73 110 F-rejectable      28 FALSE      3 4 5 7 10 16 74 Finite product      100 Finite subset      79 Finite sum      100 Formal development      2 Formula      10 Free variables      5 51 78 82 84 Function      11 13 Function of individuals      80 Functionally complete      13 22 30 43 84 107 Fundamental constituents      58 Geometry      4 Godel      32n 78n 82 Halldn      48n Hempel      18n Henkin      82 Heuristic principle      85 hilbert      49n history      4 7 Hoo      8n Hypotheses      10 50 84 Identity function      13 29 If __ then __      15 Illustrations      84 103 107 108 Inconsistent set      78 Indeterminacy      6 Individual variables      49 50 78 Individuals      51 78 81 Infinitely many statements      11 Instance of an axiom scheme      39 66 79 INTEGER      11 12 19 Internal structure of a calculus      12 Interpretations      2 Intuitionistic statement calculi      32 48 Intuitive descriptions      51 53 85 Is stronger than      28 30 45 Kalicki      32n Kalmar      44n Lwenheim      83 Langford      46n 47 108n Laws of logic      7 laws of physics      7 Laws of probability      7 Least integer I      19 Least statement      11 29 72 Lewis      46n 47 108n Linguistic entity      1 Maccoll      4 Macrocosm      6 Many-valued equality      109 Many-valued numbers      2 109 Many-valued predicate calculi      1 9 62 84 109 Many-valued proposition      1 Many-valued sets      109 Many-valued statement calculi      1 9 12 25 27 109 Many-valuedness      110 Margenau      2n Martin      25n Matrix      3 46 108 Maximal consistent set      78 McKinsey      32 Meaning      1 Measurement      2 Microcosm      6 Models      8 Modem physics      8 Mutually exclusive and exhaustive      54 Negation      16 22 26 90 103 Negative functions      98 Non — Euclidean geometry      8 Nonsense      5 Numbering of lemnas      19n Numbering of theorems      18n Numbers      2 109 Operators      16 62 84 OR      15 18 Ordinary discourse      1 5 Paradigms      27 Partial formal forms      53 56 62 85 Partial normal form of an axiom scheme      64 Partial normal forms for any statement      53 56 Particular predicate calculi      73 83 84 Physical entity      1 Physical theories      2 Plausibility      28 38 47 60 88 Plausible functions      40 68 Polish notation      16 Positional contact      1 Positive functions      98 POST      25n 29n Practical accuracy      6 Predicate calculus      49 62 84 predicates      49 62 84 Primary constituents      39 Primary truth function      39 40 probability      7 Proof by assumption      75 Proposition      1 Quantification      49 84 109 Quantifiers      49 51 61 62 84 87 95 102 Quantum physics      6 Quartum non datur      10 Reductio ad absurdum      10 Reichenbach      1n 2n rosser      2n 53n 61n 82n Rossette      3 Rules      27 34 64 88 103 Sstakov In Shannon In Simplicity      7 Same statements      11 50 Satisfiable set      77 80 81 Scientific discourse      5 Self-evident truth      28 Skeptic      2 Skolem      83 Slupeclci      8n 17 22n 25n Standard conditions      25 41 46 61 69 73 82 87 103 109 Statement      1 3 7 10 49 50 62 82 Statement form      3 5 Statement formula of statements      13 Statement function      11 49 Statement variables      55 Steps of a demonstration      34 40 105 Stipulation      28 Strict implication      32 46 48n 108 Stroke function      29 30 Subset      79 80 81 Substitution rule      32 Substitution theorem      91 Subsystems of many-valued logic      2 Symbol      10 78 Tarski      15 22 32 42 84 Temperature      6 Tertium      10 Tertium function      23 Tertium non datur      10 Testable      7 Theory of quantification      49 Thermal velocity      6 Tradition      7 Truism      1 Truth      1 3 4 7 10 28 73 81 Truth function for an axiom scheme      38 Truth function of individual variables      49 Truth tables      10 90 Truth value      10 12 27 60 80 105 Truth-value function      12 25 Truth-value stipulation      27 38 41 45 60 66 81 84 88 103 Turquer      3 Turquette      53n 61n 82n Two-valued logic      1 3 8 Two-valued predicate calculus      9 54 58 60 67 73 74 82 85 109 Two-valued statement calculus      11 13 16 25 30 44 109 Undesignated      12 74 Universal quantifier      49 52 51 78 Universe of individuals      49 78 80 81 82 Unsolved problems      109 Velocity      6 von Neumann      32n Wajsberg      32n Webb      25n Yields sign      34 64 90 104 Реклама        © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024 | | О проекте