Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,212,824 papers from all fields of science
Search
Sign In
Create Free Account
Second-order predicate
Known as:
Second order predicate
In mathematical logic, a second-order predicate is a predicate that takes a first-order predicate as an argument. Compare higher-order predicate. The…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
Concept and object
First-order predicate
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Can an AI System Think ? Functionalism and the Nature of Mentality
N. Cocchiarella
2019
Corpus ID: 140095084
In this paper we consider the philosophical question of whether or not an AI system can think and be self-conscious. We note that…
Expand
2011
2011
A Curry-Style Realizability Interpretation for Monotone Inductive Definitions
F. E. Miranda-Perea
2011
Corpus ID: 38748625
The logical system AF2μ, an extension of second-order predicate calculus with monotone inductive definitions, is presented. Some…
Expand
2011
2011
Impossibility Results for Logic dBerLog 2011 , Week 6
J. Nielsen
2011
Corpus ID: 11360718
We prove that any sound logic for arithmetic must be incomplete. From this it follows that Hoare logic is incomplete too. We also…
Expand
2009
2009
Statistical Second-Order Predicate: A Decision Model in Uncertain Dataset
Yong Qi
,
Weihua Li
Second International Symposium on Knowledge…
2009
Corpus ID: 45109169
The use of statistic to deal with the decision making in uncertain environment has been widely applied. On uncertain data that…
Expand
2009
2009
A Formal Ontology of Sequences
R. Hoehndorf
,
J. Kelso
,
H. Herre
2009
Corpus ID: 37156477
The Sequence Ontology is an OBO Foundry ontology that provides categories of sequences and sequence features that are applied to…
Expand
2007
2007
Formal Theories of Predication , Part I : Lecture Three Prof .
N. Cocchiarella
2007
Corpus ID: 160003741
1. Introduction A formal ontology, we have said, is based on a theory of predication and not on set theory as a theory of…
Expand
1999
1999
A Simple Deduction System for First-Order Logic with Equality, Free Constructors and Induction
J. Goubault-Larrecq
1999
Corpus ID: 123686404
Proof systems like Coq feature inductive datatypes, where datatype constructor- s are free in the sense that two terms built from…
Expand
1996
1996
The expression of modality in Korean
A. Wymann
1996
Corpus ID: 60127189
1988
1988
Set abstraction—An extension of all solutions predicate in logic programming language
T. Yokomori
New generation computing
1988
Corpus ID: 35305797
The concept of set abstraction is introduced as a simple analogy of that of lambda abstraction in the theory of lambda calculus…
Expand
Review
1968
Review
1968
Review: W. W. Tait, A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic
Moto-o Takashaih
1968
Corpus ID: 117036112