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…

Papers overview

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

2013

Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this…

2012

The present study was undertaken in goat ovaries to study the changes in mineral content of follicular fluid during growth and…

2010

We aim to generalize Büchi’s fundamental theorem on the coincidence of recognizable and MSO-definable languages to a weighted…

2009

MAIN TEXT A natural temporal extension of the relational calculus allows explicit variables and quantification over a given time…

2001

The operation of one-atom maser with atomic levels degenerate in the projections of angular momentum on the quantization axis is…

2000

We describe an implementation of a Java program to perform automated deduction in propositional multi-modal logics on a Java…

1998

This paper constitutes a re nement of the fuzzy uni cation algorithm based on fuzzy compatibility relations, which we have…

1998

In this thesis we present three mathematical frameworks for the modelling of reactive probabilistic communicating processes. We…

1993

We present a transformation of formulae from arbitrary finitely-valued logics into a conjunctive normal form based on signed…

1990

We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for…