Advertisers
|
Sponsors
|
Clocked logic - Clocked logic (or dynamic logic) is a design methodology in digital logic that was popular in the 1970s and has seen a recent resurgence in the design of high speed digital electronics, particularly computer CPUs. Dynamic logic is distinguished from so-called static logic in that ...
Intermediate logic - In mathematical logic, an intermediate logic (also called superintuitionistic) is a propositional logic extending intuitionistic logic. Classical logic is the strongest consistent intermediate logic, whence the name (the logics are intermediate between intuitionistic and classical logics).
Dynamic logic - In digital electronics, dynamic logic is sometimes used to refer to a class of design assumptions also known as clocked logic, used to distinguish this type of logic from static logic. This article is about dynamic logic as an extension of modal logic.
Temporal logic - In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. It is sometimes also used to refer to tense logic, a particular modal logic-based system of temporal logic introduced ...
A New Deconstructive Logic: Linear Logic (1997) - Article by V. Danos, J.-B. Joinet and H. Schellinx outlining how linear logic can function as a `mark-up logic' allowing the embedding of a large class of logics in a manner that respects their underlying proof semantics (cf. Nuel Belnap's Display Logic).
Game Semantics or Linear Logic? - A discussion of how linear logic relates to computability logic - the game-sematically introduced logic of computational resources and interactive computation.
Computational Isomorphisms in Classical Logic - Article by V. Danos, J. B. Joinet and H. Schellinx examining the categorical semantics of classical logic from a persepctive inspired by linear logic.
Source: BazSites.com
Sense of Logic - Sense of Logic Logic and Existence by Jean Hyppolite, If the phrase "the philosophy of difference" defines French anti-Hegelianism, then ...
Combinatorial Logic - Combinatorial Logic The Syntactic Process by Mark Steedman, In this book Mark Steedman argues that the surface syntax of natural ... universal rule-types for combining predicates and arguments. These syntactic operations are related to the combinators of Combinatory Logic, engendering a much freer definition of derivational constituency than is traditionally assumed. This property allows Combinatory Categorial ...
Philosophy of Logic - Philosophy of Logic Modal Logics and Philosophy by Rod Girle, Unlike most modal logic textbooks, which are both forbidding mathematically and short ...
Logic Modal Philosopher Quantified - ... Salmon's influential papers on topics in the metaphysics of existence, non-existence, and fiction; modality and its logic; strict identity, including personal identity; numbers and numerical quantifiers; the philosophical significance of Godel's Incompleteness theorems; and ... new introduction to orient the reader, the volume offers rich and varied sustenance for philosophers and logicians. Modal logic - A modal logic, or (less commonly) intensional logic, is a logic that deals with sentences that are ...
Logic Modal Philosopher Quantified - ... Salmon's influential papers on topics in the metaphysics of existence, non-existence, and fiction; modality and its logic; strict identity, including personal identity; numbers and numerical quantifiers; the philosophical significance of Godel's Incompleteness theorems; and ... new introduction to orient the reader, the volume offers rich and varied sustenance for philosophers and logicians. Modal logic - A modal logic, or (less commonly) intensional logic, is a logic that deals with sentences that are ...
Philosophy of Logic - Philosophy of Logic Modal Logics and Philosophy by Rod Girle, Unlike most modal logic textbooks, which are both forbidding mathematically and short ...
Computer Language Logic Model Science - Computer Language Logic Model Science Elements of Finite Model Theory This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techniques for analyzing logics over finite models, the book deals extensively with applications in databases, complexity theory, and formal languages, as ...
Relation of Logic and Philosophy - Relation of Logic and Philosophy Logic and Existence by Jean Hyppolite, If the phrase "the philosophy of difference" defines French anti-Hegelianism, then ...
Copyright 2006-2008.Phone Cards All Rights Reserved.