Results 141 to 150 of about 856,744 (186)
Some of the next articles are maybe not open access.
Natural Language Versus Formal Language
2019The comparison of natural languages and formal languages has become quite popular of late. The topic was on the program of the last International Congress for Logic, Methodology and Philosophy of Science in Amsterdam, and also on the program of the 1968 New York University Institute of Philosophy. I have read the published results of both meetings [1],
openaire +1 more source
Formal Languages and Natural Languages
2018The old conception of logical form did not survive the problems that emerged in connection with the dichotomy between natural language and logically perfect language. After Frege, Russell, and Wittgenstein, the ideal of logical perfection lost traction. However, the spirit of that conception did not die with its letter.
openaire +1 more source
1981
The formal, clinical assessment of dysphasia encompasses at least five aspects. Depending on the circumstances, all may be given equal weight, one may be dominant to the exclusion of all the others, or any distribution of emphasis between these extremes may obtain. These aspects are the following: 1.
Martin L. Albert +4 more
openaire +1 more source
The formal, clinical assessment of dysphasia encompasses at least five aspects. Depending on the circumstances, all may be given equal weight, one may be dominant to the exclusion of all the others, or any distribution of emphasis between these extremes may obtain. These aspects are the following: 1.
Martin L. Albert +4 more
openaire +1 more source
Homotopy Spheres in Formal Language
Studies in Applied Mathematics, 1982The set of nonempty proper subwords of a word is either contractible or a homotopy nâsphere. There is a simple algorithm which computes n. The existence of spherical words is investigated, and the words which yield spheres are determined. A language which is closed under subwords has a finite number of components, and each component has a finitely ...
openaire +1 more source
1983
Some illustrations of the expressive powers of LC were given in Chapter I. The purpose of the formal language is to permit precise description of various types of interpersonal interaction, including those which are centrally involved in communication. The next task is to define that language, and to discuss some of its main properties.
openaire +1 more source
Some illustrations of the expressive powers of LC were given in Chapter I. The purpose of the formal language is to permit precise description of various types of interpersonal interaction, including those which are centrally involved in communication. The next task is to define that language, and to discuss some of its main properties.
openaire +1 more source
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys, 2020Matt Luckcuck +2 more
exaly
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022Palina Tolmach, Yang Liu
exaly
Formal Methods in Railways: A Systematic Mapping Study
ACM Computing Surveys, 2023Alessio Ferrari, Maurice H Ter Beek
exaly