An axiomatic system for concessive conditionals (Q6127193)
From MaRDI portal
scientific article; zbMATH DE number 7830172
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An axiomatic system for concessive conditionals |
scientific article; zbMATH DE number 7830172 |
Statements
An axiomatic system for concessive conditionals (English)
0 references
10 April 2024
0 references
concessive conditional
0 references
conditional logic
0 references
connexive logic
0 references
suppositional conditional
0 references
variably strict conditional
0 references
evidential conditional
0 references
definable conditional
0 references
strengthened conditional
0 references
weak Boethius thesis
0 references
even if
0 references
