Results 1  10
of
950
A Hybrid Predicate Calculus
"... The Hybrid Predicate Calculus (HPC) is a hybrid logical system that incorporates a fairly conventional rstorder predicate calculus, but that also include elements of modal logic and relational algebra. A special eort has been made to produce a (syntactically and semantically) wellintegrated whole ..."
Abstract
 Add to MetaCart
The Hybrid Predicate Calculus (HPC) is a hybrid logical system that incorporates a fairly conventional rstorder predicate calculus, but that also include elements of modal logic and relational algebra. A special eort has been made to produce a (syntactically and semantically) well
Relational Semantics for Databases and Predicate Calculus∗
"... The relational data model requires a theory of relations in which tuples are not only manysorted, but can also have indexes that are not necessarily numerical. In this paper we develop such a theory and define operations on relations that are adequate for database use. The operations are similar to ..."
Abstract
 Add to MetaCart
to those of Codd’s relational algebra, but differ in being based on a mathematically adequate theory of relations. The semantics of predicate calculus, being oriented toward the concept of satisfiability, is not suitable for relational databases. We develop an alternative semantics that assigns relations
A decidable fragment of predicate calculus
 Theoretical Computer Science
, 1984
"... FIRSTORDER predicate logic has been traditionally viewed as the place to formalize the mathematician's notion of a "tautologous inference"; intuitively it is clear that any trivial inference should be easily formalizable and decidable in predicate logic. While one could take issue wi ..."
Abstract

Cited by 30 (0 self)
 Add to MetaCart
with the question of the ease of formalization U. Ketonen, 1981), I shall concentrate now on the question of decidability. 1. THE ISSUE OF DECIDABILITY As is well known, the full system of predicate calculus is not decidable; thus one must study suitable fragments of predicate logic. For the most trivial case
PREDICATECALCULUSORIENTED DATA BASE*
"... Session No. 5 Software Support 159 This paper describes a LISP program, called PCDB, for storage and retrieval in a data base of predicate calculus (PC) formulas. The PCDB pacxage uses standardized representations of PC formulas, where ground unit clauses are stored efficiently, e.g. on the property ..."
Abstract
 Add to MetaCart
Session No. 5 Software Support 159 This paper describes a LISP program, called PCDB, for storage and retrieval in a data base of predicate calculus (PC) formulas. The PCDB pacxage uses standardized representations of PC formulas, where ground unit clauses are stored efficiently, e
Predicate Calculus and the Mathematical Thinking of Students
"... This report is based on two related projects. The first, which took place about 10 years ago was an attempt to apply ideas taken from Piaget to analyze how students might come to understand predicate calculus and apply this analysis in designing and implementing instruction. It resulted in two paper ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
This report is based on two related projects. The first, which took place about 10 years ago was an attempt to apply ideas taken from Piaget to analyze how students might come to understand predicate calculus and apply this analysis in designing and implementing instruction. It resulted in two
APROOF EDITOR FOR PROPOSITIONAL AND PREDICATE CALCULUS
, 1995
"... In many universities, lowerlevel math courses on propositional and predicate calculus usually avoid using formalism in de nitions and proofs, at least in the beginning. When formalization is later introduced, the students are left with the impression that formalism is not essential or worth the e o ..."
Abstract
 Add to MetaCart
In many universities, lowerlevel math courses on propositional and predicate calculus usually avoid using formalism in de nitions and proofs, at least in the beginning. When formalization is later introduced, the students are left with the impression that formalism is not essential or worth the e
Results 1  10
of
950