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.
2012
2012
The Lattice of Alter egos
We introduce a new Galois connection for partial operations on a finite set, which induces a natural quasi-order on the… 
2011
2011
The search for a reduction in combinatory logic equivalent to λβ-reduction
2011
2011
MSO logics for weighted timed automata
  • Karin Quaas
  • Formal Methods Syst. Des.
  • 2011
  • Corpus ID: 4378725
We aim to generalize Büchi’s fundamental theorem on the coincidence of recognizable and MSO-definable languages to a weighted… 
2000
2000
CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security
We describe an implementation of a Java program to perform automated deduction in propositional multi-modal logics on a Java… 
1998
1998
METRIC SEMANTICS FOR REACTIVE PROBABILISTIC PROCESSES
In this thesis we present three mathematical frameworks for the modelling of reactive probabilistic communicating processes. We… 
Highly Cited
1997
Highly Cited
1997
Metal accumulation strategies in saprophagous and phytophagous soil invertebrates: a quantitative comparison
To quantitatively reveal accumulation patterns of environmentally relevant heavy metals in selected saprophagous or phytophagous… 
1993
1993
Short CNF in Finitely-Valued Logics
We present a transformation of formulae from arbitrary finitely-valued logics into a conjunctive normal form based on signed… 
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… 
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… 
Review
1980
Review
1980
HCPRVR: An Interpreter for Logic Programs
An overview of a logic program interpreter written in Lisp is presented. The interpreter is a Horn clause-based theorem prover… 
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)