Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,987,565 papers from all fields of science
Search
Sign In
Create Free Account
Atomic sentence
Known as:
Atomic proposition
, Atomic propositions
, Molecular sentence
In logic, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Atomic formula
Contingency (philosophy)
First-order logic
Logical connective
Expand
Broader (1)
Syntax (logic)
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Automatic aspectization of systemC
D. Tabakov
,
Moshe Y. Vardi
MISS '12
2012
Corpus ID: 7089807
A successful monitoring framework for SystemC requires access to internal variables of modules and channels, and the ability to…
Expand
2012
2012
A branching heuristic in CVC 4 SMT Solver
Kshitij Bansal December
2012
Corpus ID: 17381306
This article summarizes work done with Clark Barrett on branching heuristics in CVC4. In particular, it explores an approach to…
Expand
2009
2009
Design intent coverage revisited
Arnab Sinha
,
P. Dasgupta
,
B. Pal
,
Sayantan Das
,
P. Basu
,
P. Chakrabarti
TODE
2009
Corpus ID: 4982857
Design intent coverage is a formal methodology for analyzing the gap between a formal architectural specification of a design and…
Expand
2005
2005
Stochastic Comparison approach for Stochastic Model Checking
N. Pekergin
,
S. Younès
2005
Corpus ID: 18481828
Stochastic model checking requires the computation of steady-state or transient distribution for finite or infin ite Markov…
Expand
2002
2002
TEXTS OF ENGLISH TEXTBOOKS SHOULD BE TRANSLATED LITERALLY RATHER THAN FREELY
Li Yong
2002
Corpus ID: 64370664
Reference translation of texts of English textbooks has now become one of the integrated parts of textbooks.Based on the analysis…
Expand
2001
2001
On the Weak Norms of the Compound Fuzzy Proposition
An Shi
2001
Corpus ID: 124729841
During the course of fuzzy diagnosis and analysis, a compound fuzzy proposition often consists of many atomic propositions, in…
Expand
1999
1999
A Visual Formalism for Computational Tree Logic
A. Bimbo
,
E. Vicario
Journal of Visual Languages and Computing
1999
Corpus ID: 33546592
The recent advances in computer graphics and multimedia technology provide new means for the visualization of abstract…
Expand
Review
1999
Review
1999
F0 CONTOURS OF UTTERANCES SUPERIMPOSED ON THE TEMPORAL VOICE RANGE PROFILE OF THE SPEAKER
A. Iivonen
1999
Corpus ID: 116678067
A set of fundamental frequency (F0) contours produced by one speaker can be superimposed on each other on the same time/frequency…
Expand
1996
1996
Elementary Propositions and Independence
J. Bell
,
William Demopoulos
Notre Dame J. Formal Log.
1996
Corpus ID: 466140
This paper is concerned with Wittgenstein's early doctrine of the independence of elementary propositions. Using the notion of a…
Expand
1972
1972
Prejudice Toward Women: Some Personality Correlates.
P. A. Goldberg
1972
Corpus ID: 108285163
EDRS PRICE MF-$0.65 HC-$3.29 DESCRIPTORS Bias; *Discriminatory Attitudes (Social); Females; Individual Characteristics…
Expand