The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins
- 8 Downloads
In this paper we present a solution of the axiomatization problem for the Fmla-Fmla versions of the Pietz and Rivieccio exactly true logic and the non-falsity logic dual to it. To prove the completeness of the corresponding binary consequence systems we introduce a specific proof-theoretic formalism, which allows us to deal simultaneously with two consequence relations within one logical system. These relations are hierarchically organized, so that one of them is treated as the basic for the resulting logic, and the other is introduced as an extension of this basic relation. The proposed bi-consequences systems allow for a standard Henkin-style canonical model used in the completeness proof. The deductive equivalence of these bi-consequence systems to the corresponding binary consequence systems is proved. We also outline a family of the bi-consequence systems generated on the basis of the first-degree entailment logic up to the classic consequence.
KeywordsFirst-degree entailment Exactly true logic Non-falsity logic Fmla-Fmla logical framework Bi-consequence system
Unable to display preview. Download preview PDF.
We thank two anonymous reviewers for their valuable comments that greatly contributed to improving the final version of the paper.
- 3.Anderson, A.R., & Belnap, N.D. (1975). Entailment: the logic of relevance and necessity (Vol. I). Princeton: Princeton University Press.Google Scholar
- 4.Anderson, A.R., Belnap, N.D., Dunn, J.M. (1992). Entailment: the logic of relevance and necessity (Vol. II). Princeton: Princeton University Press.Google Scholar
- 7.Belnap, N.D. (1977). How a computer should think. In G. Ryle (Ed.) , Contemporary aspects of philosophy (pp. 30–55). London: Oriel Press.Google Scholar
- 11.Dunn, J.M. (1999). A comparative study of various model-theoretic treatmets of negation: a history of formal negation. In D.M. Gabbay, & H. Wansing (Eds.) , What is negation? (pp. 23–51). Dordrecht/Boston/London: Kluwer Academic Publishers.Google Scholar
- 13.Dunn, J.M., & Hardegree, G.M. (2001). Algebraic methods in philosophical logic. Oxford, New York: Clarendon Press, Oxford University Press.Google Scholar
- 16.Frankowski, S. (2004). Formalization of a plausible inference. Bulletin of the Section of Logic, 33, 41–52.Google Scholar
- 17.Hartonas, C. (2017). Order-dual relational semantics for non-distributive propositional logics. Logic Journal of the IGPL, 25, 145–182.Google Scholar
- 18.Humberstone, L. (2011). The connectives. Cambridge: MIT Press.Google Scholar
- 19.Labuschagne, W., Heidema, J., Britz, K. (2013). Supraclassical consequence relations. In S. Cranefield, & A. Nayak (Eds.) , AI 2013: advances in artificial intelligence. AI 2013. Lecture Notes in Computer Science (Vol. 8272, pp. 326–337). Cham: Springer.Google Scholar
- 21.Malinowski, G. (1990). Q-consequence operation. Reports on Mathematical Logic, 24, 49–59.Google Scholar
- 22.Marcos, J. (2011). The value of the two values. In J.-Y. Beziau, M.E. Coniglio (Eds.), Logic without frontiers: festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday (pp. 277–294). (Tributes), College Publications.Google Scholar
- 24.Omori, H., Wansing, H. (Eds.) (2017). 40 Years of FDE, Special Issue of Studia Logica, 105, Issue 6.Google Scholar
- 29.Shramko, Y. (2016). Truth, falsehood, information and beyond: the American plan generalized. In K. Bimbo (Ed.), J. Michael Dunn on Information Based Logics. Outstanding Contributions to Logic, (Vol. 8, pp. 191–212). Berlin: Springer.Google Scholar
- 30.Shramko, Y. (2018). First-degree entailment and structural reasoning, to appear. In H. Omori, H. Wansing (Eds.), New Essays on Belnap-Dunn Logic, Synthese Library.Google Scholar
- 31.Shramko, Y. (2018). Dual-Belnal logic and anaything but falsehood, to appear in: Journal of Applied Logic.Google Scholar
- 34.Shramko, Y., & Wansing, H. (2007). Entailment relations and/as truth values. Bulletin of the Section of Logic, 36, 131–143.Google Scholar
- 38.Wansing, H., & Shramko, Y. (2008). A note on two ways of defining a many-valued logic. In M. Pelis (Ed.) The logica yearbook 2007 (pp. 255–266). Filosofia: Prague.Google Scholar