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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

Acquisition of high quality structured knowledge that is immediately useful for reasoning algorithms has been a longstanding goal…

2014

This thesis is situated in the context of logic-based Information Retrieval (IR) models. The work presented in this thesis is…

2010

This paper outlines a case study conducted in two public schools in the greater Toronto area as a complementary component of a…

2007

S OF PAPERS SUBMITTED FOR PRESENTATION TO THE SOCIETY The following papers have been submitted to the Secretary and the Associate…

2006

Nilsson revisited in 1986 the early work of Boole (1854) and of Hailperin (1976) on logic and probability, i.e., a generalization…

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

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

In this paper, we introduce a novel concept called neural automata which has been formulated using the fundamental notions of…

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

Mr. L. J. Cohen's interesting example of a logical truth of indirect discourse appears to be capable of a simple formalisation…