Refutation Systems: An Overview and Some Applications to Philosophical Logics
2020
Refutation systems are systems of formal, syntactic derivations, designed to derive the non-valid formulas or logical consequences of a given logic. Here we provide an overview with comprehensive references on the historical development of the theory of refutation systems and discuss some of their applications to philosophical logics.
-
Correction
-
Source
-
Cite
-
Save
85
References
5
Citations
NaN
KQI