Sentence examples for logical foundations from inspiring English sources

Intuitions seem to conflict, and it is difficult to find ways to model the important phenomena using logical techniques.[35] Fagin et al. 1984 begins a tradition in computational logic that revives the modal approach to epistemic logic, developing generalized logical foundations and applications that had not occurred to the philosophers.

Carnap presented a rigorous theory of this kind in his Logical Foundations of Probability (1950).

His books included "The Calculus of Consent: Logical Foundations of Constitutional Democracy" (1962, with Gordon Tullock) and "The Limits of Liberty: Between Anarchy and Leviathan" (1975).

Buchanan wrote a number of significant books both with others and alone the best known of which is The Calculus of Consent: Logical Foundations of Constitutional Democracy (1962), with Gordon Tullock.

Moreover, his work stimulated further development of both the intuitionist and the formalist schools of thought in the logical foundations of mathematics; it has substantially altered mathematical education in the United States and is often associated with the "new mathematics".

He did not solve the problem of providing rigorous logical foundations for such series indeed, along with most of his contemporaries, he failed to appreciate the need for such foundations but he provided major motivation for those who eventually did establish foundations.

The main semantical and logical foundation of OWL are description logics (DLs).

Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasoning under uncertainty renders it inadequate for many important classes of problems.

The idea of possible worlds raised the prospect of extensional respectability for modal logic, not by rendering modal logic itself extensional, but by endowing it with an extensional semantic theory — one whose own logical foundation is that of classical predicate logic and, hence, one on which possibility and necessity can ultimately be understood along classical Tarskian lines.

The logical foundation of all of them is the Intersection Logic IL.

The task of analysis is to provide not a computational method but a sound logical foundation for limiting processes.