Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,045,872 papers from all fields of science
Search
Sign In
Create Free Account
Strict conditional
Known as:
Conditional
, Strict conditionals
, Strict implication
In logic, a strict conditional is a conditional governed by a modal operator, that is, a logical connective of modal logic. It is logically…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Counterfactual conditional
Logical connective
Modal logic
Modal operator
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Operators or restrictors? A reply to Gillies
Justin Khoo
2011
Corpus ID: 121753553
According to operator theories, "if" denotes a two-place operator. According to restrictor theories, "if" doesn't contribute an…
Expand
2010
2010
Boolean Conservative Extension Results for some Modal Relevant Logics
E. Mares
,
Koji Kariya-city Aichi-pref. Tanaka
2010
Corpus ID: 17890835
This paper shows that a collection of modal relevant logics are conservatively extended by the addition of Boolean negation.
2005
2005
Propositional Identity, Truth According to Predication and Strong Implication
D. Vanderveken
Logic, Thought and Action
2005
Corpus ID: 16660217
In contemporary philosophy of language, mind and action, propositions are not only Senses of sentences with truth conditions but…
Expand
2003
2003
UNITARY UNIFICATION OF S5 MODAL LOGIC AND ITS EXTENSIONS
Wojciech Dzik
2003
Corpus ID: 18031176
It is shown that all extensions of S5 modal logic, both in the standard formalization and in the formalization with strict…
Expand
2000
2000
A Canonical Model Construction for Substructural Logics
H. Ishihara
Journal of universal computer science (Online)
2000
Corpus ID: 18697790
In this paper, we introduce a class of substructural logics, called normal substructural logics, which includes not only relevant…
Expand
1994
1994
The logical structure of linguistic commitment II: Systems of relevant commitment entailment
M. Lance
,
Philip Kremer
Journal of Philosophical Logic
1994
Corpus ID: 17257339
In “The Logical Structure of Linguistic Commitment I” (The Journal of Philosophical Logic23 (1994), 369–400), we sketch a…
Expand
1979
1979
Circular demonstration and von Wright-Geach entailment
D. Walton
,
J. Woods
Notre Dame J. Formal Log.
1979
Corpus ID: 16559291
Students of the literature on entailment [7], [1] are familiar with the von Wright-Geach definition of entailment [6], [2]: p…
Expand
Highly Cited
1974
Highly Cited
1974
Rules and Derived Rules
D. Scott
1974
Corpus ID: 118783312
It is very easy to confuse rules with axioms or even theorems. Consider for example this equation from arithmetic: 4·11=44. We…
Expand
Review
1955
Review
1955
Review: Takeo Sugihara, Strict Implication Free From Implicational Paradoxes
A. R. Anderson
1955
Corpus ID: 118782829
Review
1939
Review
1939
Modalities in the Survey system of strict implication
W. Parry
Journal of Symbolic Logic (JSL)
1939
Corpus ID: 41940109
Professor C. I. Lewis, in Lewis and Langford's Symbolic logic, designates the system (S2) determined by the postulates used in…
Expand
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)
ACCEPT & CONTINUE