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… 
2007
2007
From Lie Theory to Deformation Theory and Quantization
Deformation Theory is a natural generalization of Lie Theory, from Lie groups and their linearization, Lie algebras, to… 
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
1996
1996
Note on Free Algebras over Continuous Domains
We provide a simple direct proof that for a nitary signature and a set of inequalities the free algebra functor on the category… 
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)