3
3.0

Jun 10, 2022
06/22

by
Rozenberg, Grzegorz

texts

#
eye 3

#
favorite 0

#
comment 0

xvi, 197 p. : 24 cm

Topics: Unsolvability (Mathematical logic), Decidability (Mathematical logic)

99
99

Aug 8, 2019
08/19

by
Priest, Graham

texts

#
eye 99

#
favorite 5

#
comment 0

xxi, 242 p. ; 24 cm

Topic: Nonclassical mathematical logic

Source: removedNEL

2
2.0

Dec 23, 2021
12/21

by
Lerman, M. (Manuel), 1943-

texts

#
eye 2

#
favorite 0

#
comment 0

xiii, 307 p. : 25 cm

Topic: Unsolvability (Mathematical logic)

46
46

Mar 5, 2021
03/21

by
Ramsey, Frank Plumpton; Braithwaite, R.B.

texts

#
eye 46

#
favorite 1

#
comment 0

Topics: Mathematics:Probability, Mathematical logic, MinistryOfCulture

108
108

Jul 18, 2014
07/14

by
Barwise, Jon

texts

#
eye 108

#
favorite 1

#
comment 0

Bibliography: p. [379]-385

Topics: Admissible sets, Definability theory (Mathematical logic)

21
21

Aug 12, 2019
08/19

by
Ershov, I͡Uriĭ Leonidovich

texts

#
eye 21

#
favorite 0

#
comment 0

xiv, 264 p. : 24 cm

Topics: Computable functions, Definability theory (Mathematical logic)

120
120

Jan 26, 2012
01/12

by
Cryan, Dan; Shatil, Sharron; Mayblin, Bill; Appignanesi, Richard, 1940-

texts

#
eye 120

#
favorite 14

#
comment 0

Includes bibliographical references and index

Topics: Logic, Mathematical logic, Philosophy, General, Reasoning

Folkscanomy Miscellaneous

744
744

Dec 28, 2015
12/15

by
Piecha, Thomas, editor; Schroeder-Heister, Peter, editor; SpringerLink (Online service)

texts

#
eye 744

#
favorite 5

#
comment 0

Advances in Proof-Theoretic Semantics Author: Thomas Piecha, Peter Schroeder-Heiste Published by Springer International Publishing ISBN: 978-3-319-22685-9 DOI: 10.1007/978-3-319-22686-6 Table of Contents: Advances in Proof-Theoretic Semantics: Introduction On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause On the Paths of Categories Some Remarks on Proof-Theoretic Semantics...

Topics: Philosophy, Logic, Logic, Symbolic and mathematical, Philosophy, Logic, Mathematical Logic and...

22
22

texts

#
eye 22

#
favorite 2

#
comment 0

xi, 262 p. ; 23 cm

Topics: Nonclassical mathematical logic, Negation (Logic), Tense (Logic)

146
146

Sep 3, 2019
09/19

by
Davis, Martin, 1928-

texts

#
eye 146

#
favorite 0

#
comment 0

210 p. 24 cm

Topics: Computable functions, Recursive functions, Unsolvability (Mathematical logic)

7
7.0

May 28, 2021
05/21

by
Epstein, Richard L., 1947-

texts

#
eye 7

#
favorite 0

#
comment 0

vii, 136 p. : 26 cm

Topics: Unsolvability (Mathematical logic), Recursive functions, Constructive mathematics

14
14

May 23, 2019
05/19

by
Gill, R. R. Rockingham, 1944-

texts

#
eye 14

#
favorite 0

#
comment 0

viii, 162 p. ; 23 cm

Topics: Decidability (Mathematical logic), Logic, Symbolic and mathematical

9
9.0

Dec 21, 2020
12/20

by
Thistlewaite, Paul B

texts

#
eye 9

#
favorite 1

#
comment 0

154 pages : 25 cm

Topics: Automatic theorem proving, Nonclassical mathematical logic, Automatische bewijsvoering,...

The definitions of scheduling relations previously presented by the author are extended in this report to allow the translation of a relation net into an exact schedule. Time conditional conflicts in scheduling relation nets are detected and resolved by operating on extended versions of the bilateral implication and truth tables.

Topics: DTIC Archive, MITRE CORP BEDFORD MA, *SCHEDULING, *MATHEMATICAL LOGIC

448
448

Jul 26, 2010
07/10

by
NON

texts

#
eye 448

#
favorite 0

#
comment 0

No Abstract Available

Topics: GRAMMARS, LANGUAGES, MATHEMATICAL LOGIC, SYNTAX, CALCULUS, SYMBOLS, TABLES (DATA)

229
229

May 31, 2011
05/11

by
Tilton, James C.; Marchisio, Giovanni; Koperski, Krzysztof; Datcu, Miha

texts

#
eye 229

#
favorite 0

#
comment 0

The Hierarchical Segmentation (HSEG) algorithm is an approach for producing high quality, hierarchically related image segmentations. The VisiMine image information mining system utilizes clustering and segmentation algorithms for reducing visual information in multispectral images to a manageable size. The project discussed herein seeks to enhance the VisiMine system through incorporating hierarchical segmentations from HSEG into the VisiMine system.

Topics: MATHEMATICAL LOGIC, OPTIMIZATION, MATHEMATICAL MODELS, GRAPH THEORY, INFERENCE, AXIOMS

9
9.0

Jun 11, 2022
06/22

by
Carroll, Lewis, 1832-1898

texts

#
eye 9

#
favorite 1

#
comment 0

xxv, 496 pages : 24 cm

Topics: Logic, Symbolic and mathematical, Logique symbolique et mathématique, Mathematical logic

4
4.0

Oct 7, 2021
10/21

by
Latin-American Symposium on Mathematical Logic, 3d, State University of Campinas, 1976

texts

#
eye 4

#
favorite 0

#
comment 0

xviii, 307 p. : 23 cm

Topics: Nonclassical mathematical logic -- Congresses, Model theory -- Congresses, Computable functions --...

Topics: DTIC Archive, DOCUMENTATION INC BETHESDA MD, *ALGEBRA, *DOCUMENTS, MATHEMATICAL LOGIC

18
18

Sep 20, 2020
09/20

by
Galton, Antony

texts

#
eye 18

#
favorite 0

#
comment 0

xiv, 290 pages : 26 cm

Topics: Logic, Symbolic and mathematical, matematikai logika, Mathematische Logik, Mathematical logic

443
443

May 31, 2011
05/11

by
Jobson, Daniel J.; Rahman, Zia-Ur; Woodell, Glenn A

texts

#
eye 443

#
favorite 0

#
comment 0

The experience of retinex image processing has prompted us to reconsider fundamental aspects of imaging and image processing. Foremost is the idea that a good visual representation requires a non-linear transformation of the recorded (approximately linear) image data. Further, this transformation appears to converge on a specific distribution. Here we investigate the connection between numerical and visual phenomena. Specifically the questions explored are: (1) Is there a well-defined...

Topics: PROPULSION, FAILURE MODES, MATHEMATICAL LOGIC, DATA STRUCTURES, DIAGNOSIS, AUGMENTATION, INFERENCE,...

Bibliography: p. 120-123

Topics: Recursive functions, Programming languages (Electronic computers), Formal languages, Unsolvability...

In multivariate statistics, the linear relationship among random variables has been fully explored in the past. This paper looks into the dependence of one group of random variables on another group of random variables using (conditional) entropy. A new measure, called the K-dependence coefficient or dependence coefficient, is defined using (conditional) entropy. This paper shows that the K-dependence coefficient is a measure of the degree of dependence of one group of random variables on...

Topics: ERIC Archive, Statistical Analysis, Information Theory, Mathematical Logic, Validity, Kong, Nan

2
2.0

Jan 7, 2022
01/22

by
RP (Workshop) (8th : 2014 : Oxford, England)

texts

#
eye 2

#
favorite 0

#
comment 0

1 online resource (xx, 246 pages) :

Topics: Computer systems -- Verification -- Congresses, Decidability (Mathematical logic) -- Congresses,...

New methods from mathematics and mathematical logic were employed to generalize the event algebra of probability theory while retaining the numerical, algebraic structure of its probability functions. One form of generalization developed consisted of extending the event space of standard probability theory to include events corresponding to counterfactuals. Another form of generalization researched extended the probability concept to arbitrary lattices (with maximal and minimal elements) and...

Topics: DTIC Archive, CALIFORNIA UNIV IRVINE, *MATHEMATICAL LOGIC, DECISION THEORY, GAME THEORY, PROBABILITY

In "Just Perfect: Part 1," the author defined a perfect number N to be one for which the sum of the divisors d (1 less than or equal to d less than N) is N. He gave the first few perfect numbers, starting with those known by the early Greeks. In this article, the author provides an extended list of perfect numbers, with some comments about their discovery. He also briefly discusses Euclid's proof and Mersenne primes. [For Part 1, see EJ769967.]

Topics: ERIC Archive, Mathematical Concepts, Numbers, Validity, Mathematical Logic, Number Concepts, Scott,...

Topics: DTIC Archive, BUCHI, J R, MICHIGAN UNIV ANN ARBOR, *MATHEMATICAL LOGIC, *METAMATHEMATICS

222
222

May 31, 2011
05/11

by
Begault, Durand R

texts

#
eye 222

#
favorite 1

#
comment 0

This viewgraph presentation provides information on a study the goal of which was to determine the auditory threshold for speech reverberation using a specific room model. Procedures and hardware used are detailed as are the participants in the study.

Topics: EXCLUSION, PROPAGATION, CRITICAL PATH METHOD, MATHEMATICAL LOGIC, DISCRETE FUNCTIONS, ALGORITHMS,...

Despite the assurances of store employees, whenever a deal is on offer it always pays to apply a little logic (and mathematics) to see just how to use it most effectively. In this article, the author displays how to employ this technique by using the example of a shoe store that advertised "second pair half price" (with the fine print stating that the second pair was the pair of lesser value).

Topics: ERIC Archive, Mathematics Instruction, Classroom Techniques, Costs, Mathematical Logic, Croucher,...

In a recent paper of Mateev et al. (2001), a new technique for program analysis called fractal symbolic analysis was introduced and applied to verify the correctness of a series of source-level transformations for cache blocking in LU decomposition with partial pivoting. It was argued in that paper that traditional techniques are inadequate because the transformations break definition-use dependencies. We show how the task can be accomplished purely equationally using Kleene algebra with tests.

Topics: DTIC Archive, Barth,Adam, Cornell University Ithaca, algebra, decomposition, verification,...

Topics: DTIC Archive, DOCUMENTATION INC BETHESDA MD, *MATHEMATICAL LOGIC, DOCUMENTS, ERRORS, ALGEBRA,...

The article deals with the cognitive (flexible) rationality, combining rational and irrational moments of the scientific search of the cognizing subject. Linguo-cognitive model of the concept as the flexible regulative rationality reveals the activity of the cognitive processes and the mentality of the epistemological-ontic subject, its leading constructive role in the formation of the language, and world pictures of conceptual post-non-classic type. Logic-mathematical languages reveal...

Topics: ERIC Archive, Logical Thinking, Models, Cognitive Processes, Language, Epistemology, Mathematical...

Type theory is a logical formalism that is rich enough to express complex mathematical and computational assertions. In this project, Avigad and Harper developed type-theoretic algorithms and formalisms that can support the development of secure and reusable software libraries, as well as the development of methods of automated reasoning in mathematics and libraries of mathematical knowledge.

Topics: DTIC Archive, Avigad,Jeremy, CARNEGIE MELLON UNIVERSITY Pittsburgh United States, ALGORITHMS,...

Many decision theorists believe that the axioms of rational choice are similar to the principles of logic in the sense that no reasonable person who understands them would wish to violate them. The present study questions this view by investigating the acceptability of a key axiom underlying expected utility theory--Savage's independence principle. Persistent violations of this axiom were observed, even after it was presented to subjects in a clear and, presumably compelling, fashion. The...

Topics: DTIC Archive, Slovic, Paul, OREGON RESEARCH INST EUGENE, *DECISION THEORY, MATHEMATICAL LOGIC,...

243
243

Jun 1, 2011
06/11

by
Martin, Norman J

texts

#
eye 243

#
favorite 1

#
comment 0

An investigation of an NACA submerged intake installation on the Ryan FR-1 was conducted to determine the full-scale aerodynamic characteristics of this installation. In addition, tests were conducted on the submerged inlet with revised entrance lips and deflectors to determine the configuration which would result in the best dynamic pressure recovery measured at the inlet for this installation without a major rework of the entrance. Stalling of the air flow over the inner lip surface created...

Topics: THEOREM PROVING, COMPUTER PROGRAMS, MATHEMATICAL MODELS, HIERARCHIES, INDUCTION (MATHEMATICS),...

A lattice is a (rectangular) grid of points, usually pictured as occurring at the intersections of two orthogonal sets of parallel, equally spaced lines. Polygons that have lattice points as vertices are called lattice polygons. It is clear that lattice polygons come in various shapes and sizes. A very small lattice triangle may cover just 3 lattice points--at the vertices. A very large lattice polygon might be expected to cover many more lattice points. This suggests that there might be a...

Topics: ERIC Archive, Mathematics Instruction, Geometric Concepts, Problem Solving, Mathematical Logic,...

18
18

May 16, 2018
05/18

by
Lund, Carsten, 1963-

texts

#
eye 18

#
favorite 0

#
comment 0

The Power of Interaction presents a new algebraic technique for constructing interactive proof systems and demonstrates the immense power of randomization and interaction in proving statements efficiently. Lund shows that two provers can interact with a randomized verifier to provide proofs that are exponentially more efficient than traditional proofs, and that one prover can interact with an efficient randomized verifier to prove statements that have no known efficient traditional proofs.

Topics: Proof theory, Proof theory, Bewijstheorie, Computabilidade e modelos de computacao, Beweistheorie,...

202
202

Jul 11, 2010
07/10

by
Nayfeh, A. H.; Kaiser, J. E.; Shaker, B. S

texts

#
eye 202

#
favorite 0

#
comment 0

An acoustic theory is developed to determine the sound transmission and attenuation through an infinite, hard-walled or lined circular duct carrying compressible, sheared, mean flows and having a variable cross section. The theory is applicable to large as well as small axial variations, as long as the mean flow does not separate. The technique is based on solving for the envelopes of the quasi-parallel acoustic modes that exist in the duct instead of solving for the actual wave, thereby...

Topics: ROCKET ENGINES, ROCKET PROPELLANTS, SCIENTISTS, HISTORIES, MATHEMATICAL LOGIC, ROCKET FLIGHT,...

A computer-based instructional system for teaching the notion of mathematical proof is described. The system is capable of handling formalizations of the full predicate calculus with identity and, with minor work, definite description. Designed as an instructional device, the program is also the basis for a number of research projects involving the use of mechanical theorem-provers for teaching theorem-proving. The entire system is presented here in detail: the program as written in the LISP...

Topics: ERIC Archive, Calculus, Computer Assisted Instruction, Computer Programs, Mathematical Logic,...

The first part of this paper argues that the pure, 'moveless' bargaining game analyzed by Nash, Harsanyi, Luce and Raiffa, and others, may not exist or, if it does, is of a different character from what has been generally supposed; the point of departure for this argument is the operational meaning of agreement, a concept that is almost invariably left undefined. The second part of the paper argues that symmetry in the solution of bargaining games cannot be supported on the notion 'rational...

Topics: DTIC Archive, RAND CORP SANTA MONICA CA, *GAME THEORY, *MATHEMATICAL LOGIC, OPERATIONS RESEARCH,...

The purpose of this paper is to present an expository account of the fundamental ideas of the theory of games, together with a discussion of some of the unresolved aspects of the theory.

Topics: DTIC Archive, RAND CORP SANTA MONICA CA, *GAME THEORY, MATHEMATICAL LOGIC, OPERATIONS RESEARCH,...

The paper explores and clarifies the similarities and differences that exist between proof by contradiction and proof by contraposition. The paper also focuses on the concept of contradiction, and a general model for this method of proof is offered. The introduction of mathematical proof in the classroom remains a formidable challenge to students given that, at this stage of their schooling, they are used to manipulating symbols through sequential steps. There is a consensus that learners do...

Topics: ERIC Archive, Validity, Mathematical Logic, Mathematics Instruction, Mathematical Concepts, Models,...

First-order structures over a fixed signature give rise to a family of trace-based and relational Kleene algebras with tests defined in terms of Tarskian frames. A Tarskian frame is a Kripke frame whose states are valuations of program variables and whose atomic actions are state changes elected by variable assignments x := e, where e is a Epsilon term. The Kleene algebras with tests that arise in this way play a role in dynamic model theory akin to the role played by Lindenbaum algebras in...

Topics: DTIC Archive, Kozen,Dexter, Cornell University Ithaca United States, model theory, algebra,...

Mathematical statements involving both universal and existential quantifiers occur frequently in advanced mathematics. Despite their prevalence, mathematics students often have difficulties interpreting and proving quantified statements. Through task-based interviews, this study took a qualitative look at undergraduate mathematics students' interpretations and proof-attempts for mathematical statements involving multiple quantifiers. The findings of this study suggest that statements of the...

Topics: ERIC Archive, Undergraduate Students, College Mathematics, Mathematical Logic, Validity,...

Given a system of multiple random variables, a new measure called the "L"-multivariate association coefficient is defined using (conditional) entropy. Unlike traditional correlation measures, the L-multivariate association coefficient measures the multiassociations or multirelations among the multiple variables in the given system; that is, the "L"-multivariate association coefficient measures the degree of the association for the given system. The "L"-multivariate...

Topics: ERIC Archive, Correlation, Information Theory, Mathematical Logic, Validity, Multivariate Analysis,...

In considering the problems foreign students have with the determiners "the,""a/an,""some," and "all" (for which zero-determiner may be substituted), the author observes: (1) The semantic classifications of nouns often seem quite arbitrary to the foreigner. (2) There is always some minimal linguistic or situational context which must be specified if a sentence in which some given determiner, or determiners, occur is to be unambiguous. (3) There are...

Topics: ERIC Archive, Determiners (Languages), Logical Thinking, Mathematical Logic, Nouns, Semantics,...

At first glance. it may seem that reconstructing the past is, in general, easier than predicting the future, because the past has already occurred and it has already left its traces, while the future is still yet to come, and so no traces of the future are available. However, in many real life situations, including problems from geophysics and celestial mechanics, reconstructing the past is much more computationally difficult than predicting the future. In this paper, we give an explanation of...

Topics: NASA Technical Reports Server (NTRS), PREDICTIONS, MATHEMATICAL LOGIC, THEOREMS, Alefeld, Goetz,...

In this paper, I describe how undergraduates can develop their understanding of the concept of proof by viewing the act of proving as a procedure. Such undergraduates first understand proof as an algorithm, or a step-by-step mechanical prescription for proving certain types of statements. The students can then condense this algorithm into a processor, a shorter list of global, qualitative steps. By reflecting on the process, successful students can view proof as an argument, something that...

Topics: ERIC Archive, Mathematics Instruction, Mathematical Logic, Validity, Undergraduate Students,...

Boolean algebra has long played a well known role in the development of mathematical logic, but even in the propositional calculus there are many problems still to be investigated. Among these is the question of the feasibility of identifying the statement calculus with a Boolean algebra other than the (0, 1) algebra. The theory of Boolean algebra as required for a study of the algebraic aspects of logic is formulated. Characteristics of the equality relation are discussed and the propositional...

Topics: DTIC Archive, Snider, Leonard A, NAVAL POSTGRADUATE SCHOOL MONTEREY CA, *ALGEBRA, *MATHEMATICAL...

This paper builds upon discussions of the importance of semantic or intuitive work in proving by identifying three ways in which experienced mathematicians use example objects in constructing and evaluating proofs. It observes that students often do not use objects in these ways, and discusses the pedagogical question of how we might teach students to be more effective in proving by designing instruction to focus their attention on relevant objects. Data are drawn from interviews with five...

Topics: ERIC Archive, Semantics, Mathematical Logic, Mathematics Instruction, Teaching Methods, College...