first-order logic
collocation in Englishmeaningsoflogic
These words are often used together. Click on the links below to explore the meanings. Or,see other collocations withlogic.
logic
noun[U]
uk/ˈlɒdʒ.ɪk/us/ˈlɑː.dʒɪk/
a particular way of thinking, especially one that is reasonable and based on ...
See more atlogic
(Definition oflogicfrom theCambridge English Dictionary© Cambridge University Press)
Examplesoffirst-order logic
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
The majority of the work in knowledge discovery via evolutionary computation has used various restricted forms offirst-orderlogicas a hypothesis language.
From theCambridge English Corpus
In deduction modulo, the notions of language, term and proposition are that of many-sortedfirst-orderlogic.
From theCambridge English Corpus
We introduce aggregates in the context of many-sortedfirst-orderlogic.
From theCambridge English Corpus
The problem of set equality is usually formally addressed withinfirst-orderlogic.
From theCambridge English Corpus
A key difference is that the information once lifted is interpreted through relational database queries, while we usefirst-orderlogic.
From theCambridge English Corpus
However, the reader is expected to be familiar withfirst-orderlogicalthough the appendix introduces first-order languages.
From theCambridge English Corpus
We still speak in terms offirst-orderlogiceven for normal databases, as most of the first-order framework of deductive databases remains applicable.
From theCambridge English Corpus
Higher-order procedures are useful withinfirst-orderlogicprogramming as a tool to structure programs and build abstractions.
From theCambridge English Corpus
Another difference is that our logic aims to make the best offirst-orderlogicwith equality to represent general aliasing situations.
From theCambridge English Corpus
In deductive synthesis, a specification is successively transformed using synthesis laws proven in an underlying framework (typicallyfirst-orderlogic).
From theCambridge English Corpus
But this semantics is not based on classicalfirst-orderlogic, and its computation model is also not based on resolution.
From theCambridge English Corpus
The logics studied in this setting are typicallyfirst-orderlogicendowed with some sort of aggregation operators, which are used to express queries.
From theCambridge English Corpus
In this context offirst-orderlogic, we have concentrated on the study of the proofs of quantified formulas.
From theCambridge English Corpus
To this end, we have designed a semantic formalism which strikes a compromise between variable-free slot-filler lists and more powerful representations, such asfirst-orderlogic.
From theCambridge English Corpus
Though using only a small subset offirst-orderlogic, they develop proof systems for a variety of meta-programming tasks including evaluation, type inference and compilation.
From theCambridge English Corpus
These ontologies constitute an integrated model formalised usingfirst-orderlogic.
From theCambridge English Corpus
For instance, infirst-orderlogic, there are a class of terms and a class of formulas.
From theCambridge English Corpus
Three knowledge representation schemes are introduced; description logic,first-orderlogicand modal logic, along with an explanation of their expressiveness and computational requirements.
From theCambridge English Corpus
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
Want to learn more?
Go to the definition oflogic
See other collocations withlogic