Abstract
Our goal is to develop a syntactical apparatus for propositional logics in which the accepted and rejected propositions have the same status and are being treated in the same way. The suggested approach is based on the ideas of Ƚukasiewicz used for the classical logic and in addition, it includes the use of multiple conclusion rules. A special attention is paid to the logics in which each proposition is either accepted or rejected.
Publisher
Institute of Philosophy, Russian Academy of Sciences
Reference20 articles.
1. Bochvar, 1939 – Bochvar, D.A. “On a three valued calculus and its application to the analysis of contradictories”, Matematicheskii Sbornik, 1939, Vol. 4, No. 2, pp. 287–308.
2. Carnap, 1942 – Carnap, R. Introduction to Semantics. Harvard University Press, Cambridge, Mass, 1942.
3. Carnap, 1943 – Carnap, R. Formalization of Logic. Harvard University Press, Cambridge, Mass, 1943.
4. Citkin, 2015 – Citkin, A. “A meta-logic of inference rules: syntax”, Log. Log. Philos., 2015, Vol. 24, No. 3, pp. 313–337.
5. Goranko, 2019 – Goranko, V. “Hybrid deduction-refutation systems”, Axioms, 2019, Vol. 8, No. 4, p. 118.