Skip to search formSkip to main contentSkip to account menu

First-order logic

Known as: First-order-logic, First-order predicate calculus, FOL 
First-order logic is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. It is also known as first… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Attempto Controlled EnglishBIT predicateBernays–Schönfinkel classBounded quantifier

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Weakly representable atom structures that are not strongly representable, with an application to first order logic
Letn > 2. A weakly representable relation algebra that is not strongly representable is constructed. It is proved that the set of… 
Highly Cited
2004
Highly Cited
2004
Empirical Low-Order Models of Barotropic Flow
Empirical low-order models are constructed in the framework of a quasigeostrophic barotropic spectral model, truncated at T21… 
1999
1999
Object-Oriented First-Order Logic
We wish to improve modeling in first-order logic (FOL) by using object-oriented tools. To this end, we describe Object-Oriented… 
1996
1996
First-Order Conditional Logic Revisited
Conditional Zogics play an important role in recent attempts to investigate default reasoning. This paper investigates first… 
1991
1991
How to Prove Higher Order Theorems in First Order Logic
In this paper we are interested in using a first order theorem prover to prove theorems that are formulated in some higher order… 
1985
1985
Concurrent Prolog as an Efficient VLSI Design Language
As long as simulation is relied upon, the hardware will only be as good as the test data; therefore most widely used computers… 
1983
1983
Hysteresis and after-effects in massive substances. From spin-glasses to the sand hill
We discuss the problem of magnetic hysteresis in the framework of a model of a distribution of thermally activated double well… 
1983
1983
Equivalence of the Arbiter, the Synchronizer, the Latch, and the Inertial Delay
An axiomatic method for proving correctness properties about digital circuit implementations under the influence of asynchronous… 
1982
1982
Analysis of error-gradient adaptive linear estimators for a class of stationary dependent processes
In many applications, the training data to be processed by an adaptive linear estimator can be assumed to have a finite… 
1980
1980
Knowledge Embedding in the Description System Omega
Omega is a description system for knowledge embedding which combines mechanisms of the predicate calculus, type systems, and… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)