Set-Theoretic Semantics for Many-Valued Positional Calculi

• Authors: Anna Maria Karczewska

Title variants

EN

Set-Theoretic Semantics for Many-Valued Positional Calculi

• Languages of publication: PL

Abstracts

PL

Semantyka teoriomonogościowa dla wielowartościowych rachunków pozycyjnych Celem artykułu jest zdefiniowanie adekwatnych semantyk teoriomonogościowych dla rachunków pozycyjnych (Tkaczyk 2007).

EN

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

Keywords

PL

rachunki pozycyjne; macierz; semantyka teoriomnogościowa; rachunki pozycyjne; macierz; semantyka teoriomnogościowa

EN

positional calculi; matrix; set-thoretic semantics

• Publisher: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
• Journal: Roczniki Filozoficzne
• Year: 2020
• Volume: 68
• Issue: 4
• Pages: 367-384

Dates

published

2021-01-04

Contributors

author

Anna Maria Karczewska

• John Paul II Catholic University of Lublin; Faculty of Philosophy, Poland

• https://orcid.org/0000-0001-5269-8891

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.

Identifiers

DOI

10.18290/rf20684-17