Searching for "Predication in the Logic of Terms." – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Abstraction Tree Indexing for Terms
- …@(email omitted); Abstract * An indexing technique for first-order predicate logic terms and literals is proposed…
- Cited by 10 (0 self) – Add To MetaCart
-
Embedding Logics Into Product Logic
- … of these logics in terms of recursive theory (in the case of predicate logic) or in terms of computational…
- Cited by 5 (0 self) – Add To MetaCart
-
Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction
- … We characterize provability in intuitionistic predicate logic in terms of derivation skeletons…
- Cited by 18 (7 self) – Add To MetaCart
-
Return to Term Logic
- …Order Predicate Logic of Frege, Russell, and Whitehead. Term logic is different from predicate logic in both its…
- Cited by 1 (0 self) – Add To MetaCart
-
Unified Inference in Extended Syllogism
- … vs. Predicate Logic There are two major traditions in formal logic: term logic and propositional…
- Cited by 1 (1 self) – Add To MetaCart
-
Querying Graph Structures with G
- … formal language to describe predicate logic terms over a given set of predicate and function symbols…
- Add To MetaCart
-
Querying Graph Structures with G²QL
- … formal language to describe predicate logic terms over a given set of predicate and function symbols…
- Add To MetaCart
-
Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View
- …-order predicate logic, terms are assigned a sort and function and predicate symbols are assigned a tuple of sort…
- Add To MetaCart
-
Combining Hilbert Style and Semantic Reasoning in a Resolution Framework
- …) using a theorem predicate. The formulae of the given logic are encoded as predicate logic terms…
- Cited by 12 (0 self) – Add To MetaCart
-
Dynamic Bracketing and Discourse Representation
- …, strategy to handle argument places than Predicate Logic. In Predicate Logic terms get into the correct…
- Cited by 7 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
