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…

2015

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…

1996

We present a verification of a distributed sorting algorithm in ALF, an implementation of Martin L¨of's type theory. The…

1991

Logical approaches to linguistic description, particularly those which employ feature structures, have generally treated…

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…