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.
Highly Cited
2011
Highly Cited
2011
Mean-risk model for uncertain portfolio selection
This paper discusses the uncertain portfolio selection problem when security returns cannot be well reflected by historical data… 
2010
2010
Range and Set Abstraction using SAT
2010
2010
Zwart and Franssen’s impossibility theorem holds for possible-world-accounts but not for consequence-accounts to verisimilitude
Zwart and Franssen’s impossibility theorem reveals a conflict between the possible-world-based content-definition and the… 
Highly Cited
2009
Highly Cited
2009
DP-SLAM: Fast, Robust Simultaneous Localization and Mapping Without Predetermined Landmarks
A fundamental task for reasoning with preferences is the following: given input preference information from a user, and outcomes… 
Highly Cited
2008
Highly Cited
2008
‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
Public announcement logic is an extension of multiagent epistemic logic with dynamic operators to model the informational… 
2007
2007
Fuzzy logic programming via multilattices
Highly Cited
2005
Highly Cited
2005
Verifying Industrial Hybrid Systems with MathSAT
Review
2000
Review
2000
The Constructivist Challenge to Structural Realism: A Review Essay
Highly Cited
1990
Highly Cited
1990
Principal type-schemes and condensed detachment
The condensed detachment rule, or ruleD, was first proposed by Carew Meredith in the 1950's for propositional logic based on… 
Highly Cited
1951
Highly Cited
1951
A theorem about infinite-valued sentential logic
In this paper we shall use a logic with truth values ranging over all the real numbers x such that 0 ≦ x ≦ 1.1 will be “complete… 
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)