Abstract
The logic with independent truth and falsehood operators TFL is proposed. In TFL(→) standard truth-conditions for the implication are adopted. Nevertheless the laws of classical logic are not valid. In this language more then 107 different binary connectives can be defined. So this logic can be treated as universal logic relatively to the class of sentential logics.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Béziau, J.-Y.: What is a Logic? Plenary talk. The Sixth Smirnovs Readings in Logic, Moscow (2009) (in Russian)
Dunn J.M.: Partiality and its Dual. Stud. Log. 65, 5–40 (2000)
D’Ottaviano, I.M.L., da Costa, N.C.A.: Sur un probleme de Jaskowski. Comptes Rendus de l’Acadmie des Sciences. Paris, vol. 270, Serie A, pp. 1349–1351 (1970)
Pavlov S.A.: Logic FL4 with Falsehood Operator. MultiValued Log. 5, 125–138 (2000)
Pavlov, S.A.: Semantics with Only One Bedeutung: Rethinking Frege’s Semantics, XXII World Congress of Philosophy. Rethinking Philosophy Today. Seoul, Korea (Abstract) (2008)
Pawlow, S.A.: Einige nichttraditionelle Ideen in der Logik. In: Philosophie und Naturwissenschaften in Vergangenheit und Gegenwart. Heft 5: Philosophische Probleme der Logik, Berlin. S. 33–40 (1978)
von Wright, G.H.: Truth-Logics, Logique et Analyse, vol. 120, Nouvelle Serie, pp. 311–334 (1987)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Pavlov, S. The Logic with Truth and Falsehood Operators from a Point of View of Universal Logic. Log. Univers. 5, 319–325 (2011). https://doi.org/10.1007/s11787-011-0038-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-011-0038-1