Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

31 relations
Admissible ruleAtomic formulaBL (logic)Belief revision

Broader (1)

Propositional calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Bernays-Schönfinkel-Ramsey with Simple Bounds is NEXPTIME-complete
Linear arithmetic extended with free predicate symbols is undecidable, in general. We show that the restriction of linear… 
2008
2008
Language and embodiment
The paper focuses on the embodied view of cognition applied to language. First we discuss what we intend when we say that… 
2008
2008
An Independence of Causal Interactions Model for Opposing Inuences
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
Automated Choreographer Synthesis for Web Services Composition Using I/O Automata
We study the problem of synthesis of a choreographer in Web service composition for a given set of services and a goal. Services… 
2007
2007
Characterizations of maximal consistent theories in the formal deductive system L* (NM-logic) and Cantor space
2006
2006
ON MODAL LOGICS BETWEEN K×K×K AND S5× S5× S5
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
2004
Encoding Global Unobservability for Efficient Translation to SAT
. The paper studies the use of global unobservability constraints in a CNF translation of Boolean formulas, where the… 
Review
2003
Review
2003
Understanding Exploratory Use of ERP Systems
Complex information technology often remains under-utilized following implementation. As a result, potentially powerful tools may… 
Highly Cited
1982
Highly Cited
1982
Fuzzy prediction based on regression models
1973
1973
Quantifying in and Out of Quotes
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)