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.
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… 
2002
2002
ON FIRST-ORDER MULTI-ADJOINT LOGIC PROGRAMMING
Sooner or later one naturally has to face uncertainty, incompleteness, and/or inconsistency when dealing with complex… 
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… 
1992
1992
On the representation of mathematical concepts and their translation into first-order logic
To prove difficult theorems in a mathematical field requires substantial know-ledge of that field. In this thesis a frame-based… 
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… 
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… 
1978
1978
Logic and philosophy: A modern introduction
Preface to the Eleventh Edition. Preface to the Tenth Edition. 1. Introduction. The Elements of an Argument. Deduction and… 
1937
1937
The Cyclol Theory and the ‘Globular’ Proteins
A NUMBER of facts relating to proteins1 suggest that the polypeptides in native proteins are in a folded state2-3. The type of…