Skip to search formSkip to main contentSkip to account menu

Atomic formula

Known as: Atom (disambiguation), Atom (logic), Atomic 
In mathematical logic, an atomic formula (also known simply as an atom) is a formula with no deeper propositional structure, that is, a formula that… 
Wikipedia (opens in a new tab)

Related topics

Related topics

40 relations
Atomic sentenceCTL*Computation tree logicConjunctive query

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
The search for a reduction in combinatory logic equivalent to λβ-reduction
Highly Cited
2010
Highly Cited
2010
5-loop Konishi from linearized TBA and the XXX magnet
Using the linearized TBA equations recently obtained in arXiv:1002.1711 we show analytically that the 5-loop anomalous dimension… 
2010
2010
Paraconsistent semantics for Pavelka style fuzzy sentential logic
Highly Cited
2005
Highly Cited
2005
Computer-aided molecular design using Tabu search
2003
2003
Deciding Inductive Validity of Equations
Kapur and Subramaniam [12] defined syntactical classes of equations where inductive validity can be decided automatically… 
2001
2001
Solving Numerical Constraints
Highly Cited
1993
Highly Cited
1993
First order abduction via tableau and sequent calculi
The formalization of abductive reasoning is still an open question: there is no general agreement on the boundary of some basic… 
1991
1991
An Inference Rule for Hypothesis Generation
There are many new application fields for automated deduction where we have to apply abductive reasoning. In these applications… 
Highly Cited
1987
Highly Cited
1987
Matrix Proof Methods for Modal Logics
We present matrix proof systems for both constant- and varying-domain versions of the first-order modal logics K, K4, D, D4, T… 
1985
1985
A model-theoretic approach to updating logical databases
We show that it is natural to extend the concept of database updates to encompass databases with incomplete information. Our… 
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)