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… 
2010
2010
Solving the Implication Problem for XML Functional Dependencies with Properties
Due to the complex nature of XML, finding classes of integrity constraints for XML data that are both expressive and practical is… 
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
2005
2005
PERCEPTUAL SYMBOL REPRESENTATION AND PROPOSITIONAL SYMBOL REPRESENTATION IN LANGUAGE COMPREHENSION
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)