Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,770,345 papers from all fields of science
Search
Sign In
Create Free Account
Independence of premise
In proof theory and constructive mathematics, the principle of independence of premise states that if φ and ∃ x θ are sentences in a formal theory…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Search for papers about Independence of premise
Search papers