Set-Theoretic Semantics for Many-Valued Positional Calculi

Anna Maria Karczewska

doi:10.18290/rf20684-17

Anna Maria Karczewska John Paul II Catholic University of Lublin; Faculty of Philosophy, Poland https://orcid.org/0000-0001-5269-8891

DOI: https://doi.org/10.18290/rf20684-17

Keywords: positional calculi, matrix, set-thoretic semantics

Abstract

The objective of this paper is to formulate adequate set theoretic semantics for Tkaczyk’s positional calculi (Tkaczyk 2007).

References

Areces, Carlos, and Balder ten Cate. 2007. “Hybrid Logics.” In Handbook of Modal Logic, edited by Patrick Blackburn, Johan van Benthem, and Frank Wolter, 821–868. Amsterdam: Elsevier.

Jarmużek, Tomasz. 2007. “Minimal Logical Systems with R-operator: Their Metalogical Properties and Ways of Extensions.” In Perspectives on Universal Logic, edited by Jean- Yves Béziau and Alexandre Costa-Leite, 319–33. Polimetrica International Scientific Publisher, Italy.

Jarmużek, Tomasz, and Andrzej Pietruszczak. 2004. “Completeness of Minimal Positional Calculus.” Logic and Logical Philosophy 13: 147–162. doi: 10.12775/LLP.2018.013.

Jarmużek, Tomasz, and Marcin Tkaczyk. 2015. Normalne logiki pozycyjne [Normal Positional Logics]. Lublin: Towarzystwo Naukowe KUL.

Łoś, Jerzy. 1947. “Podstawy analizy metodologicznej kanonów Milla [Foundations of Methodological Analysis of Mill’s Canons].” Annales Universitatis Mariae Curie-Skłodowska 2.5. F: 269–301.

Łoś, Jerzy. 1948. “Logiki wielowartościowe a formalizacja funkcji intensjonalnych [Multivalued Logics and Formalization of Intensional Functions].” Kwartalnik Filozoficzny 17, No. 1-2: 59–78.

Rescher, Nicholas, and Alasdair Urquhart. 1971. Temporal Logic, Library of Exact Philosophy. Wien, New York: Springer Verlag.

Tkaczyk, Marcin. 2009. Logika czasu empirycznego [Logic of Physical Time]. Lublin: Wydawnictwo KUL.

Tkaczyk, Marcin. 2013. “Negation in Weak Positional Calculi.” Logic and Logical Philosophy 22: 3–19. doi: 10.12775/LLP.2013.001.

Tkaczyk, Marcin. 2018. “Distribution Laws in Weak Positional Logics.” Roczniki Filozoficzne 66, nr 3: 163–179. doi: 10.18290/rf.2018.66.3-8.