Skip to search formSkip to main contentSkip to account menu

Sentence (mathematical logic)

Known as: Closed sentence, Logical sentence, Sentence (logic) 
In mathematical logic, a sentence of a predicate logic is a boolean-valued well-formed formula with no free variables. A sentence can be viewed as… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Acquisition of high quality structured knowledge that is immediately useful for reasoning algorithms has been a longstanding goal… 
2014
2014
This thesis is situated in the context of logic-based Information Retrieval (IR) models. The work presented in this thesis is… 
2010
2010
This paper outlines a case study conducted in two public schools in the greater Toronto area as a complementary component of a… 
2007
2007
S OF PAPERS SUBMITTED FOR PRESENTATION TO THE SOCIETY The following papers have been submitted to the Secretary and the Associate… 
2006
2006
Nilsson revisited in 1986 the early work of Boole (1854) and of Hailperin (1976) on logic and probability, i.e., a generalization… 
2006
2006
Diagrams serve a variety of roles in applied reasoning. At times, they are best viewed as \sentences" in a 2-D language, with… 
1995
1995
My task today is an unusual and not very pleasant one. I am not here to debate the adequacy of any philosophical thesis. Rather… 
1995
1995
In this paper, we introduce a novel concept called neural automata which has been formulated using the fundamental notions of… 
1989
1989
The purpose of a logical framework such as LF is to provide a language for defining logical systems suitable for use in a logic… 
1958
1958
Mr. L. J. Cohen's interesting example of a logical truth of indirect discourse appears to be capable of a simple formalisation…