Searching for "Fragments of the Propositional Calculus." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
On Model-Checking for Fragments of µ-Calculus
- …On model-checking for fragments of ��-calculus E. A. Emerson A. P. Sistla February 28, 1995 1…
- Cited by 22 (1 self) – Add To MetaCart
-
Syntactic considerations on recursive types
- … the positive fragment of the propositional calculus. The standard model of FPC, pCpo (the category of cpos…
- Cited by 25 (0 self) – Add To MetaCart
-
The complexity of recognizing polyhedral scenes
- … fragment of propositional calculus, although it was never made clear how complete this fragment was…
- Cited by 25 (4 self) – Add To MetaCart
-
An Information Retrieval Logic Model: Implementation And Experiments
- … documents as vectors of terms (which is a very poor fragment of propositional calculus) makes necessary…
- Cited by 11 (0 self) – Add To MetaCart
-
A Finitely Axiomatized Formalization of Predicate Calculus with Equality
- … in fragments of propositional calculus [20, pp. 355 and 480–482]. This method represents Rule D with the clause…
- Add To MetaCart
-
The Provably Total Search Problems of Bounded Arithmetic
- …, or pieces of refutations, using fragments of the propositional calculus PK. A refutation is a sequence…
- Cited by 2 (0 self) – Add To MetaCart
-
Complete Axiomatization of a Relative Modal Logic With Composition and Intersection
- … to reason about programs [9, 6, 7, 11, 8]. The linguistic basis of PDL is the propositional calculus…
- Add To MetaCart
-
VRIJE UNIVERSITEIT Hybrid Genetic Relational Search for Inductive Learning
- … for representing hypotheses may vary from a fragment of propositional calculus to second–order logic. While…
- Add To MetaCart
-
On the Asymptotic Density of Tautologies in Logic of Implication and Negation
- … want to find the asymptotic density of the implicational fragment of the propositional calculus of one…
- Add To MetaCart
Showing 1 through 9.
