Alternative Axiomatizations of the Conditional System VC
The central result of the paper is an alternative axiomatization of the conditional system VC which does not make use of Conditional Modus Ponens: (A > B) ⊃ (A ⊃ B) and of the axiom-schema CS: (A ∧ B) ⊃ (A > B). Essential use is made of two schemata, i.e. X1: (A ∧ ♢A) ⊃ (♢A >< A) and T:...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | ces |
| Published: |
Institute of Philosophy of the Slovak Academy of Sciences
2019-08-01
|
| Series: | Organon F |
| Subjects: | |
| Online Access: | https://doi.org/10.31577/orgf.2019.26305 |