Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,796,739 papers from all fields of science
Search
Sign In
Create Free Account
Propositional variable
Known as:
Propositional symbol
, Sentential variable
, Sentential letter
Expand
In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is a variable which can either be true or…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
31 relations
Admissible rule
Atomic formula
BL (logic)
Belief revision
Expand
Broader (1)
Propositional calculus
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
The Economy and Enlisted Retention in the Navy. Volume 1: Main Report
Jane K Pinelis
,
Jared M Huff
2014
Corpus ID: 2018150
Abstract : At the end of their service obligations, sailors decide whether to reenlist or enter the civilian workforce. Their…
Expand
2010
2010
Evaluate and Suggest Evidence for the Relationship between Attainment and Learner Variables
贾颖
2010
Corpus ID: 147948889
English as a popular foreign language in China is learned by many students.The attainment is often considered and talked.There…
Expand
2010
2010
TOWARDS THE SOURCE OF THE NOTION OF IMPLICATION
Jacek K. Kabzi
2010
Corpus ID: 125892523
1. In his paper [1] professor R. Suszko dened a notion of identity connective related to the well-known notion of identity…
Expand
2007
2007
Recognition of Positive 2-Interval Boolean Functions
D. Kronus
2007
Corpus ID: 15821413
Boolean function f on n variables is represented by set I of disjoint intervals of non-negative n-bit integers, if the following…
Expand
2006
2006
ON MODAL LOGICS BETWEEN K×K×K AND S5× S5× S5
R. Hirsch
2006
Corpus ID: 675609
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…
Expand
Review
2006
Review
2006
Understanding PLS path modeling parameters estimates: a study based on Monte Carlo simulation and customer satisfaction surveys
Emmanuel Jakobowicz
2006
Corpus ID: 15042235
PLS path modeling (Partial Least Squares path modeling) has found increased interests since being used in the context of…
Expand
2004
2004
Encoding Global Unobservability for Efficient Translation to SAT
M. Velev
International Conference on Theory and…
2004
Corpus ID: 18973048
. The paper studies the use of global unobservability constraints in a CNF translation of Boolean formulas, where the…
Expand
2004
2004
Union-Find and Congruence Closure Algorithms that Produce Proofs
R. Nieuwenhuis
,
Albert Oliveras
2004
Corpus ID: 232915
Congruence closure algorithms are nowadays central in many modern applications in automated deduction and verication, where it is…
Expand
1996
1996
A Machine Verified Distributed Sorting Algorithm
Jørgen H. Andersen
,
Edwin A. Harcourt
,
K. V. S. Prasad
1996
Corpus ID: 1166537
We present a verification of a distributed sorting algorithm in ALF, an implementation of Martin L¨of's type theory. The…
Expand
1995
1995
Conjunctive Versus Disjunctive Abduction —A Pragmatic Dif ference Between Abduction and Inverse Resolution
M. Pagnucco
1995
Corpus ID: 14572482
The philosopher Charles Sanders Peirce (see [1] for further details) distinguished three types of logical inference: deduction…
Expand