Skip to search formSkip to main contentSkip to account menu

Predicate functor logic

Known as: Functor (disambiguation), Predicate 
In mathematical logic, predicate functor logic (PFL) is one of several ways to express first-order logic (also known as predicate logic) by purely… 
Wikipedia (opens in a new tab)

Related topics

Related topics

19 relations
AlgorithmAtomic formulaCombinatory logicDisjunctive normal form

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Compositional Relational Programming with Name Projection and Compositional Synthesis
CombInduce is a methodology for inductive synthesis of logic programs, which employs a reversible meta-interpreter for synthesis… 
2015
2015
주어의 개념에 대하여
Language & Information Society 25. Traditionally, Subject and Predicate are two main constituents of the sentence. It has been… 
2012
2012
On unstable modules over the Dickson algebras, the Singer functors Rs and the functors Fixs
The category Ds U of unstable modules over the Steenrod algebra equipped with a compatible module structure over the Dickson… 
2012
2012
Topological pullback, covering spaces, and a triad of Quillen
We study pullback from a topological viewpoint with emphasis on pullback of covering maps. We generalize a triad of Quillen on… 
2006
2006
ar X iv : m at h / 05 11 38 2 v 2 [ m at h . R T ] 1 9 Ju n 20 06 Equivalences between cluster categories ∗
Tilting theory in cluster categories of hereditary algebras has been developed in [BMRRT] and [BMR]. Some of them are already… 
2005
2005
On the 2-primary v1-periodic homotopy groups of spaces
2002
2002
Periodic resolutions over exterior algebras
1998
1998
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes
Based on a variable-free combinatory form of definite clause logic programs we outline a methodology and supporting program… 
1985
1985
The completeness of a predicate-functor logic
Predicate-functor logic, as founded by W. V. Quine ([1960], [1971], [1976], [1981]), is first-order predicate logic without… 
1983
1983
A Tableau System of Proof for Predicate-Functor Logic with Identity
On donne une procedure de preuve autonome et complete pour la logique de Quine a foncteur predicat muni de l'identite, sous… 
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)