Sökt på: logic
Vi gjorde istället en sökning på titeln logic vilket gav totalt 11 träffar
Attribute-Value Logic and the Theory of Grammar: Volume 16
Because of the ease of their implementation, attribute-value based theories of grammar are becoming increasingly popular in theoretical linguistics as an alternative to …
Logic, Language and Computation
This volume presents work that evolved out of the Third Conference on Situation Theory and Its Applications, held at Oiso, Japan, in November of 1991. The chapters presented in …
Modal Logic and Process Algebra
Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest to logicians and theoretical computer …
Advances in Modal Logic
Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a …
Logic and Representation
Logic and Representation brings together a collection of essays, written over a period of ten years, that apply formal logic and the notion of explicit representation of knowledge …
A Manual of Intentional Logic
Intensional logic is the technical study of such intensional phenomena in human reasoning as modality, knowledge, or flow of time. These all require a richer semantic picture than …
Russell's Metaphysical Logic
This study reconciles distinct aspects of Russell's thought long thought to be incompatible, the metaphysics of universals and facts from Russell's Logical Atomism period and the …
A Manual of Intensional Logic
Intensional logic is the technical study of such intensional phenomena in human reasoning as modality, knowledge, or flow of time. These all require a richer semantic picture than …
Quantifers Logic, and Language
Generalised quanti er theory is a central topic in logic with important applications in semantics of natural language. Recent work in the application eld has led to new logical …
Lectures on Linear Logic
The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. …