Propositional variable

Known as: Propositional symbol, Sentential variable, Sentential letter

In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is a variable which can either be true or…

Papers overview

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

2015

Linear arithmetic extended with free predicate symbols is undecidable, in general. We show that the restriction of linear…

2011

We introduce a new approach to conditional probability over many-valued events, which is based on bets. Then we show that this…

2008

We introduce the DeMorgan gate, an Independence of Causal Interactions (ICI) model that is capable of modeling opposing inuences…

Highly Cited

2007

Highly Cited

2007

We study the problem of synthesis of a choreographer in Web service composition for a given set of services and a goal. Services…

2006

We prove that every n-modal logic between K and S5 is undecidable, whenever n ≥ 3. We also show that each of these logics is non…

2004

. The paper studies the use of global unobservability constraints in a CNF translation of Boolean formulas, where the…

2001

We propose a methodology, based on Computer Algebra and implemented in CoCoA language, for constructing rule based expert systems…

1997

1986

Deliberation typically involves the formation of a plan or intention from a set of values and beliefs. I suggest that…

1962

This paper examines the questions of functional completeness and canonical completeness in many-valued logics, offering proofs…