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… 
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… 
2001
2001
A Methodology for Constructing Expert Systems for Medical Diagnosis
We propose a methodology, based on Computer Algebra and implemented in CoCoA language, for constructing rule based expert systems… 
1973
1973
Quantifying in and Out of Quotes
1962
1962
Functional completeness and canonical forms in many-valued logics1
This paper examines the questions of functional completeness and canonical completeness in many-valued logics, offering proofs… 
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)