Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,151,213 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
23 relations
Atomic formula
Atomic sentence
Bounded quantifier
Existential theory of the reals
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Curious cat conversational crowd based and context aware knowledge acquisition chat bot
Luka Bradesko
,
Janez Starc
,
D. Mladenić
,
M. Grobelnik
,
M. Witbrock
IEEE International Conference on Intelligent…
2016
Corpus ID: 2445969
Acquisition of high quality structured knowledge that is immediately useful for reasoning algorithms has been a longstanding goal…
Expand
2014
2014
Information Retrieval (IR) Modeling by Logic and Lattice. Application to Conceptual IR. (Modélisation de la Recherche d'Information par la Logique et les Treillis. Application à la Recherche d…
Karam Abdulahhad
2014
Corpus ID: 36966530
This thesis is situated in the context of logic-based Information Retrieval (IR) models. The work presented in this thesis is…
Expand
2010
2010
Gaming geography: Educational games and literacy development in the Grade 4 classroom
Heather Lotherington
,
N. Ronda
2010
Corpus ID: 58725950
This paper outlines a case study conducted in two public schools in the greater Toronto area as a complementary component of a…
Expand
2007
2007
Garrett Birkhoff : Additive functions on Boolean algebras
R. Baer
2007
Corpus ID: 1343393
S OF PAPERS SUBMITTED FOR PRESENTATION TO THE SOCIETY The following papers have been submitted to the Secretary and the Associate…
Expand
2006
2006
First Order Probabilistic Logic
B. Jaumard
,
A. Fortin
,
I. Shahriar
,
R. Sultana
Annual Conference on the North American Fuzzy…
2006
Corpus ID: 17806911
Nilsson revisited in 1986 the early work of Boole (1854) and of Hailperin (1976) on logic and probability, i.e., a generalization…
Expand
2006
2006
Diagrams as Physical Models to Assist in Reasoning
B. Chandrasekaran
2006
Corpus ID: 5882898
Diagrams serve a variety of roles in applied reasoning. At times, they are best viewed as \sentences" in a 2-D language, with…
Expand
1995
1995
Revisionism about reference: A reply to Smith
S. Soames
Synthese
1995
Corpus ID: 44181557
My task today is an unusual and not very pleasant one. I am not here to debate the adequacy of any philosophical thesis. Rather…
Expand
1995
1995
Neural automata based object recognition
E. G. Rajan
,
V. Kumar
,
A.G.S. Kiran
,
A. Chowdhary
,
N.S. Murthy
IEEE International Conference on Systems, Man and…
1995
Corpus ID: 62534102
In this paper, we introduce a novel concept called neural automata which has been formulated using the fundamental notions of…
Expand
1989
1989
Logic Representation in LF
R. Harper
,
D. Sannella
,
A. Tarlecki
Category Theory and Computer Science
1989
Corpus ID: 30806570
The purpose of a logical framework such as LF is to provide a language for defining logical systems suitable for use in a logic…
Expand
1958
1958
On the formalisation of indirect discourse
R. Goodstein
Journal of Symbolic Logic (JSL)
1958
Corpus ID: 32344380
Mr. L. J. Cohen's interesting example of a logical truth of indirect discourse appears to be capable of a simple formalisation…
Expand
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)
ACCEPT & CONTINUE