Skip to main content
SpringerLink
Log in

Many-valued Logic in Poland: The Golden Age

  • Chapter
The History and Philosophy of Polish Logic

Part of the book series: History of Analytic Philosophy ((History of Analytic Philosophy))

  • 118 Accesses

Abstract

The origin of many-valued logic was closely connected with the Lvov-Warsaw School (LWS) (see Woleński, 1985). Here is an amazing case of the emergence of one of the most influential scientific schools in the world, which is famous for its research in philosophy and especially in logic.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Anshakov, O., and Rychkov, S. (1985) ‘On the Axiomatization of Finite-Valued Logical Calculi’, Math. USSR Sbornik, 51, 473–91.

    Article  Google Scholar 

  • — ‘On Finite-Valued Propositional Logical Calculi’, Notre Dame Journal of Formal Logic, 36(4), 606–29.

    Google Scholar 

  • Bartol, W., Orlowska, E., and Skowron, A. (1997) ‘Helena Rasiowa, 1917–1994’, Bull. European Association for Theoretical Computer Science, 62, 353–66.

    Google Scholar 

  • Beavers, G. (1993) ‘Extensions of the ϗ0-Valued Łukasiewicz Propositional Logic’, Notre Dame Journal of Formal Logic, 34(2), 251–62.

    Article  Google Scholar 

  • Bočvar, D. A., and Finn, V. K. (1972) ‘On Many-Valued Logics that Permit the Formalization of Analysis of Antinomies. I’, in D. A. Bochvar (ed.) Researches on Mathematical Linguistics, Mathematical Logic and Information Languages (Moscow: Nauka Publishers), 238–95 [in Russian].

    Google Scholar 

  • Bolc, L., and Borowik, P. (1992) Many-Valued Logics. Vol. 1: Theoretical Foundations (Berlin: Springer).

    Book  Google Scholar 

  • — (2000) Many-Valued Logics. Vol. 2: Automated Reasoning and Practical Applications (Berlin: Springer).

    Google Scholar 

  • Borkowski, L. (1977) ‘Wsprawie intuicyjnej interpretacji logiki trójwartościowej Łukasiewicza’, Roczniki Filozoficzne, 25, 61–8. Engl. trans: ‘On the Intuitive Interpretation of Łukasiewicz’s Three-Valued Logic’, in L. Borkowski, A. B. Stępień (eds) Studies in Logic and Theory of Knowledge 2 (Lublin: TNKUL), 1991, 25–30.

    Google Scholar 

  • Brown, D. J., and Suszko, R. (1973) ‘Abstract Logics’, Dissertationes Mathematicae, 102, 7–41.

    Google Scholar 

  • Caleiro, C. et al. (2005) ‘Two’s Company: “The Humburg of many-logical values”, in J. Y. Béziau (ed.) Logica Universalis (Basel: Birkhäuser Verlag), 169–89.

    Chapter  Google Scholar 

  • Chang, C. C. (1958) ‘Algebraic Analysis of Many-Valued Logics’, Transactions of the American Mathematical Society, 88, 467–90.

    Article  Google Scholar 

  • — (1959) ‘A New Proof of the Completeness of the Łukasiewicz Axioms’, Transactions of the American Mathematical Society, 93, 74–80.

    Google Scholar 

  • Czelakowski, J. (1980) Model-Theoretic Methods in Methodology of Propositional Calculi (Warsaw: IFIS PAN).

    Google Scholar 

  • — (1992) Consequence operations: Foundational Studies (Warsaw: IFIS PAN).

    Google Scholar 

  • — (2001) Protoalgebraic Logics (Dordrecht: Kluwer).

    Book  Google Scholar 

  • Czelakowski, J., and Malinowski, G. (1985) ‘Key Notions of Tarski’s Methodology of Deductive Systems’, Studia Logica, XLIV(4), 321–51.

    Article  Google Scholar 

  • Cignoli, R., D’Ottaviano, I. M. L., and Mundici, D. (2000) Algebraic Foundations of Many-Valued Reasoning (Dordrecht: Kluwer).

    Book  Google Scholar 

  • Da Costa, N. C. A., Béziau, J. Y., and Bueno, O. A. S. (1996) ‘Malinowski and Suszko on Many-Valued Logics: On the Reduction of Many-Valuedness’, Modern Logic, 6(3), 272–99.

    Google Scholar 

  • D’Ottaviano, I. M. L., and Epstein, R. L. (1988) ‘A Paraconsistent Many-Valued Propositional Logic: J 3’, Reports on Mathematical Logic, 22, 89–103.

    Google Scholar 

  • Dziobiak, W. (1980) ‘Silnie finitystyczne operacje konsekwencji. Teorie równoś-ciowe skończonych algebr — pewne ich kratowe badania’ [Strongly Finite Consequence Operations. Equational Theories of Finite Algebras — Their Lattice-Theoretic Investigation]. Doctoral dissertation.

    Google Scholar 

  • — (1981) ‘The Lattice of Strengthenings of a Strongly Finite Consequences Operation’, Studia Logica, 40(2), 177–94.

    Article  Google Scholar 

  • — (1991) ‘A Finite Matrix whose set of Tautologies is not Finitely Axiomatiz-able’, Reports on Mathematical Logic, 25, 83–90.

    Google Scholar 

  • Epstein, G., and Rasiowa, H. (1990) ‘Theory and Uses of Post Algebras of Order ω + ω +. I’ in20th International Symposium on Multiple-Valued Logic (New York: IEEE Computer Society Press), 42–7.

    Google Scholar 

  • — (1991) ‘Theory and Uses of Post Algebras of Order ω + ω +. II’ in 21st International Symposium on Multiple-Valued Logic (New York: IEEE Computer Society Press), 248–54.

    Google Scholar 

  • Evans, T., and Schwartz, P. B. (1958) ‘On Słupecki T-functions’, The Journal of Symbolic Logic, 23, 267–70.

    Article  Google Scholar 

  • Finn, V. K. (1969) ‘The Precompleteness of a Class of Functions that Correspond to the Three-Valued Logic of J. Łukasiewicz’, Naucno-Tehnicheskaja Informacia (VINITI), Ser. 2(10), 35–8 [in Russian].

    Google Scholar 

  • Font, J. M. (2003) ‘Generalized Matrices in Abstract Algebraic Logic’, in V. F. Hendricks, and J. Malinowski (eds) Trends in Logic: 50 Years of Studia Logica (Dordrecht: Kluwer), 57–86.

    Google Scholar 

  • — (2009) ‘Taking Degrees of Truth Seriously’, Studia Logica, 91, 383–406.

    Article  Google Scholar 

  • Font, J. M., and Hájek, P. (2002) ‘On Łukasiewicz’s Four-Valued Modal Logic’, Studia Logica, 70(2), 157–82.

    Article  Google Scholar 

  • Font, J. M., Jansana, R., and Pigozzi, D. (2003) ‘A Survey of Abstract Algebraic Logic’, Studia Logica, 74(1–2), 13–97.

    Article  Google Scholar 

  • Gottwald, S. (2001) A Treatise on Many-Valued Logics (Baldock: Research Studies Press).

    Google Scholar 

  • Hájek, P. (1998) Metamathematics of Fuzzy Logic (Dordrecht: Kluwer).

    Book  Google Scholar 

  • — (2006) ‘Mathematical Fuzzy Logic — What it Can Learn from Mostowski and Rasiowa’, Studia Logica, 84, 51–62.

    Article  Google Scholar 

  • Hulanicki, A., and świerczkowski, S. (1960) ‘Number of Algebras with a Given Set of Elements’, Bull. Acad. Polon., Sci. Ser. Sci. Math. Astronom. Phys., 8, 283–4.

    Google Scholar 

  • Janov, Y. I., and Mučnik, A. A. (1959) ‘On the Existence of k-Valued Closed Classes without a Finite Basis’, Dokl. Akad. Nauk SSSR, 127(1), 44–6 [in Russian].

    Google Scholar 

  • Janowskaja, S. A. (1959) ‘Mathematical Logic, and Foundations of Mathematics’, in Mathematics in the USSR during 40 Years , ch. 13 (Moscow: Nauka) [in Russian].

    Google Scholar 

  • Jaśkowski, S. (1936) ‘Recherches sur le système de la logique intuitioniste’, Actes du Congrès International de Philosophie Scientifique, 6, 58–61. Engl. trans: ‘Investigations into the System of Intuitionist Logic’, Studia Logica, 34 (1975), 117–20.

    Google Scholar 

  • Jordan, Z. (1945) The Development of Mathematical Logic and of Logical Positivism in Poland between the Two Wars (London: Oxford University Press). Reprinted shortened version under the title ‘The Development of Mathematical Logic in Poland between the Two Wars’, in (McCall,1967), 346–97.

    Google Scholar 

  • — (1963) ‘O determinizmie logicznym’, Studia Logica, XIV. Engl. trans: ‘Logical Determinism’, Notre Dame Journal of Formal Logic, 4 (1963), 1–38.

    Article  Google Scholar 

  • Kalicki, J. (1950a) ‘On Tarski’s Matrix Method’, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie III, 41, 130–42.

    Google Scholar 

  • — (1950b) ‘Note on Truth-Table’, The Journal of Symbolic Logic, 15(3), 174–81.

    Article  Google Scholar 

  • — (1950c) ‘A Test for the Existence of Tautologies According to Many-Valued Truth-Tables’, The Journal of Symbolic Logic, 15(3), 182–4.

    Article  Google Scholar 

  • — (1951) ‘Review of Los (1949)’, The Journal of Symbolic Logic, 16, 59–61.

    Article  Google Scholar 

  • — (1952) ‘A Test for the Equality of Truth-Table’, The Journal of Symbolic Logic, 17(3), 161–3.

    Article  Google Scholar 

  • — (1954a) ‘On Equivalent Truth-Tables of Many-Valued Logics’, Proceedings of the Edinburgh Mathematical Society, 10, 56–61.

    Article  Google Scholar 

  • — (1954b) ‘An Undecidable Problem in the Algebra of Truth-Tables’, The Journal of Symbolic Logic, 19, 172–6.

    Article  Google Scholar 

  • Karpenko, A. S. (1983) ‘Factor-Semantics for n-Valued Logics’, Studia Logica, XLII(2/3), 179–85.

    Article  Google Scholar 

  • — (1988) ‘T-F-sequence and their Sets as Truth-Values’, in I. M. Bodnár, A. Máté, and L. Pólos (eds) Intensional Logic, History of Philosophy and Methodology: To Imre Ruzsa on the occasion of his 65th Birthday, 2 (Budapest: Eötvös University), 109–19.

    Google Scholar 

  • — (1989) ‘Truth Values: What Does it Mean?’, in V. A. Smirnov (ed.) Investigations of Non-Classical Logics (Moscow: Nauka), 38–53 [in Russian].

    Google Scholar 

  • — (2006) Łukasiewicz Logics and Prime Numbers (Beckington: Luniver Press).

    Google Scholar 

  • — (2010) The Development of Many-Valued Logic (Moscow: LKI Publishers) [in Russian].

    Google Scholar 

  • — (2010a) ‘Continuity of Three-Valued Logics: Problems and Hypotheses’, Logicheskie Issledovanija, 16, 127–33 [in Russian].

    Google Scholar 

  • Kleene, S. C. (1952) Introduction to Metamathematics (New York: D. Van Nostrand Company).

    Google Scholar 

  • Klósak, K. (1948) ‘Teoria indeterminizmu ontologicznego a trójwartościowa logika zdań prof. Jana Łukasiewicza’, Ateneum Kaplańskie, 49, 209–230.

    Google Scholar 

  • Kotarbiński, T. (1913) ‘Zagadnienie istnienia przyszłości’, Przegląd Filozoficzny, 16, 74–92. Engl. trans: ‘The Problem of the Existence of the Future’, Polish Review, 13 (1968), 7–22.

    Google Scholar 

  • — (1957) Wyklady z dziejów logiki, (Łódź: Ossolineum).

    Google Scholar 

  • Lau, D. (2006) Function Algebras on Finite Sets: A Basic Course on Many-Valued Logic and Clone Theory (Berlin: Springer).

    Google Scholar 

  • Lechniak, M. (2002) ‘Some Remarks about Attempts of Intuitive Interpretation of Jan Łukasiewicz’s Three-Valued Logic’ in S. Kiczuk et al. (eds) Studies in Logic and the Theory of Knowledge, 5 (Lublin: TNKUL), 49–56.

    Google Scholar 

  • Loś, J. (1949) ‘O matrycach logicznych’, in Prace Wroclawskiego Towarzystwa naukowego, Seria B, vol. 19 (Wroclaw: University of Wroclaw), 1–141. Engl. trans. in: D. E. Ulrich Matrices for Sentential Calculi. Ph.D. (Detroit, MI: Wayne State University), 1967.

    Google Scholar 

  • Loś, J., and Suszko, R. (1958) ‘Remarks on Sentential Logics’, Indagationes Mathematicae, 20, 177–83.

    Article  Google Scholar 

  • Łukasiewicz, D. (2011) ‘On Jan Łukasiewicz’s Many-Valued Logic and his Criticism of Determinism’, Philosophia Scientiae, 15(2), 7–20.

    Article  Google Scholar 

  • Łukasiewicz, J. (1918) ‘Wyklad pożegnalny, 7 III 1918’, Pro Arte et Studio, 11, 3–4. Engl. trans: ‘Farewell Lecture by Professor Jan Łukasiewicz, Delivered in the Warsaw University Lecture Hall on 7 March 1918’ in Łukasiewicz (1970), 84–6.

    Google Scholar 

  • — (1920) ‘O logice trójwartościowej’, Ruch Filozoficzny, 5, 170–1. Engl. trans: ‘On Three-Valued Logic’, in Łukasiewicz (1970), 87–88.

    Google Scholar 

  • — (1921) ‘Logika dwuwartościowa’, Przegląd Filozoficzny, 13, 189–205. Engl. trans: ‘Two-Valued Logic’, in Łukasiewicz (1970), 89–109.

    Google Scholar 

  • — (1922) ‘O determinizmie’, Z zagadnień logiki i filozofii. Pisma wybrane, J. Slupecki (ed.) (Warsaw: PWN), 1961, 114–26. Engl. trans: ‘On Determinism’, in Łukasiewicz (1970), 110–28.

    Google Scholar 

  • — (1923) ‘Interpretacja liczbowa teorii zdań’, Ruch Filozoficzny, 7, 92–3. Engl. trans: ‘A numerical interpretation of theory of propositions’, in Łukasiewicz (1970), 129–30.

    Google Scholar 

  • — (1929) Elementy logiki matematycznej, (Warsaw: Kolo Matematyczno-Fizyczne Sluchaczów Uniwersytetu Warszawskiego). Engl. trans: Elements of Mathematical Logic (Oxford: Pergamon Press), 1963.

    Google Scholar 

  • — (1930) ‘Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls’, in Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, III(23), 51–77. Engl. trans: ‘Philosophical Remarks on Many-Valued Systems of Propositional Logic’, in Łukasiewicz (1970), 153–78.

    Google Scholar 

  • — (1941) ‘Die Logik und das Grundlagenproblem’, in Les Entretiens de Zürich sur les fondements et la méthode des sciences mathématiques, 6–9 decembre 1938 (Zürich: Leemann frères), 82–100. Engl. trans: ‘Logic and the Problem of the Foundations of Mathematics’, in Łukasiewicz (1970), 278–94.

    Google Scholar 

  • — (1953) ‘A System of Modal Logic’, The Journal of Computing Systems, 1, 111–149. Reprinted in Łukasiewicz (1970), 352–90.

    Google Scholar 

  • — (1957) Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic (Oxford: Oxford University Press), 2nd edn enlarged.

    Google Scholar 

  • — (1970) Selected Works, L. Borkowski (ed.) (Amsterdam and Warsaw: North-Holland and PWN).

    Google Scholar 

  • Łukasiewicz, J., Tarski, A. (1930) ‘Untersuchungen über den Aussagenkalkül’, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Cl. III, 23, 1–21. Engl. trans: ‘Investigations into the sentential calculus’, in Łukasiewicz (1970), 131–52.

    Google Scholar 

  • Malinowski, G. (1977) ‘Classical Characterization of n-valued Łukasiewicz Calculi’, Reports on Mathematical Logic, 9, 41–5.

    Google Scholar 

  • — (1990) ‘Q-consequents Operation’, Reports on Mathematical Logic, 24, 49–59.

    Google Scholar 

  • — (1993) Many-Valued Logics (Oxford: The Clarendon Press).

    Google Scholar 

  • — (2001) ‘Many-Valued logics’, in L. Goble (ed.) The Blackwell Guide to Philosophical Logic (Oxford: Blackwell Publishers), 309–35.

    Google Scholar 

  • — (2006) Logiki Wielowartościowe (Warsaw: PWN).

    Google Scholar 

  • — (2007) ‘Many-Valued Logic and its Philosophy’, in D. M. Gabbay, and J. Woods (eds) Handbook of the History of Logic, vol. 8: The Many Valued and Nonmonotonic Turn in Logic (Amsterdam: North-Holland), 13–94.

    Google Scholar 

  • — (2009) ‘Beyond Three Inferential Values’, Studia Logica, 92(2), 203–13.

    Article  Google Scholar 

  • Malinowski, G., and Zygmunt, J. (1978) ‘Results in General Theory of Matrices for Sentential Calculi with Applications to the Łukasiewicz Logics’, Zeszyty Naukowe Uniwersytetu Wroclawskiego, Prace Filozoficzne, XX, 43–57.

    Google Scholar 

  • Malinowski, G., and Woleński, J. (2003) ‘Logic, Formal Methodology and Semantics in Works of Ryszard Wójcicki’, Studia Logica, 99, 7–30.

    Article  Google Scholar 

  • McCall, S. (ed.) (1967) Polish Logic1920–1939 (New York: Oxford University Press).

    Google Scholar 

  • McNaughton, R. (1951) ‘A Theorem about Infinite-Valued Sentential Logic’, The Journal of Symbolic Logic, 16, 1–13.

    Article  Google Scholar 

  • Meredith, C. A. (1958) ‘The Dependence of an Axiom of Łukasiewicz’, Transactions of American Mathematical Society, 87, 54.

    Google Scholar 

  • Mostowski, A. (1948) ‘Proofs of Non-Deducibility in Intuitionistic Functional Calculus’, The Journal of Symbolic Logic, 13, 204–7.

    Article  Google Scholar 

  • — (1950) ‘Review of (Rasiowa 1950)’, The Journal of Symbolic Logic, 15, 213.

    Google Scholar 

  • — (1957) ‘L’oeuvre scientifique de Jan Łukasiewicz dans le domaine de la logique mathématique’, Fundamenta Mathematicae, 44, 1–11.

    Google Scholar 

  • — (1961a) ‘Axiomatizability of Some Many-Valued Predicate Calculi’, Fundamenta Mathematicae, 50(2), 165–90.

    Google Scholar 

  • — (1961b) ‘An Example of a Non-Axiomatizable Many-Valued Logic’, Zeitschrift für mathematische Logic und Grundlagen der Mathematik, 7, 72–6.

    Article  Google Scholar 

  • — (1963) ‘The Hilbert Epsilon Function in Many-Valued Logic’, Acta Philosophica Fennica, XVL, 169–88.

    Google Scholar 

  • — (1969) ‘Models of Set Theory’, in E. Casari (ed.) Aspects of Mathematical Logic (Rome: Edizione Cremonese), 65–179; repr. in 2010.

    Google Scholar 

  • Mundici, D. (2011) Advanced Łukasiewicz Calculus and MV-Algebras (Dordrecht: Kluwer).

    Book  Google Scholar 

  • Ono, H., and Komori, Y. (1985) ‘Logics without the Contraction Rule’, The Journal of Symbolic Logic, 50, 169–201.

    Article  Google Scholar 

  • Orlowska, E. (1985) ‘Mechanical Proof Methods for Post Logics’, Logique et Analyse, 110–11, 173–192.

    Google Scholar 

  • Palasińska, K. (1994) ‘Three-element Nonfinitely Axiomatizable Matrices’, Studia Logica, 53, 361–72.

    Article  Google Scholar 

  • Piróg-Rzepecka, K. (1977) Systemy Nonsense-Logics (Warsaw-Wroclaw: OTPN-PWN).

    Google Scholar 

  • Pogorzelski, W. A. (1964) ‘The Deduction Theorem for Łukasiewicz’s Many-Valued Propositional Calculi’, Studia Logica, XV, 7–19.

    Article  Google Scholar 

  • Pogorzelski, W. A., and Prucnal, T. (1974) ‘Structural Completeness of the First-Order Predicate Calculus’, Bulletin de l’Académie Polonaise des Sciences, Série des Sciences, Mathematiques, Astronomiques et Physiques, 22(3), 349–51.

    Google Scholar 

  • Pogorzelski, W. A., and Wojtylak, P. (1982) Elements of the Theory of Completeness in Propositional Logic (Katowice: Silesian University).

    Google Scholar 

  • — (2008) Completeness Theory for Propositional Logics (Basel: Birkhäuser Verlag).

    Google Scholar 

  • Post, E. L. (1920) ‘Determination of all Closed Systems of Truth Table’, Bull. Amer. Math. Soc., 26, 427.

    Google Scholar 

  • — (1921) ‘Introduction to a General Theory of Elementary Propositions’, American Journal of Mathematics, 43(3), 163–85. Reprinted in J. van Heijenoort (ed.) From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 (Cambridge: Harvard University Press, 1967), 264–83.

    Article  Google Scholar 

  • — (1941) ‘Two-Valued Iterative Systems’, Annals of Mathematical Studies, 5 (Princeton, NJ: Princeton University Press).

    Google Scholar 

  • Prucnal, T. (1969) ‘Kryterium definiowalnosci funkcji w matrycach Łukasiewicza’, Studia Logica, 23, 71–7.

    Article  Google Scholar 

  • Rasiowa, H. (1950) ‘Z dziedziny logiki matematycznej II. Logiki wielowartościowe Łukasiewicza’, Matematyka, 3.

    Google Scholar 

  • — (1969) ‘A Theorem on the Existence of Prime Filters in Post Algebras and the Completeness Theorem for some Many-Valued Predicate Calculi’, Bull. Acad. Polon. Sci., Serie Sci. Math. Astr. Phys., 17, 347–54.

    Google Scholar 

  • — (1970) ‘Ultraproducts of m-valued Models and a Generalization of the Löwenheim-Skolem-Gödel-Malcev Theorem for Theories Based on m-Valued Logics’, Bull. Acad. Polon. Sci., Serie Sci. Math. Astr. Phys., 18, 415–20.

    Google Scholar 

  • — (1972) ‘The Craig Interpolation Theorem for m-valued Predicate Calculi’, Bull. Acad. Polon. Sci., Serie Sci. Math. Astr. Phys., 20, 141–6.

    Google Scholar 

  • — (1973) ‘On Generalized Post Algebras of Order ω + and ω +-valued Predicate Calculi’, Bull. Acad. Polon. Sci., Serie Sci. Math. Astr. Phys., 21, 209–19.

    Google Scholar 

  • — (1974a) An Algebraic Approach to Non-Classical Logics (Amsterdam: North-Holland).

    Google Scholar 

  • — (1974b) ‘Post Algebras as a Semantic Foundation of m-Valued Logic’, The Mathematical Association of America Studies in Mathematics, 9, 92–142.

    Google Scholar 

  • — (1977) ‘Many-Valued Algorithmic Logic as a Tool to Investigate Programs’, in G. Epstein, and J. M. Dunn (eds) Modern Uses of Multiple-Valued Logic (Dordrecht: Reidel), 79–102.

    Google Scholar 

  • Ratsa, M. (1982) ‘On Functional Completeness in the Intuitionistic Propositional Logic’, Problemy Kibernetiki, 39, 107–150 [in Russian].

    Google Scholar 

  • Rautenberg, W. (1981) ‘2–element Matrices’, Studia Logica, 40, 315–53.

    Article  Google Scholar 

  • Rescher, N. (1969) Many-Valued Logic (New York: McGraw Hill). 2nd edn printed in 1993.

    Google Scholar 

  • Rose, A. (1952) ‘The Degree of Completeness of the m-valued Łukasiewicz Propositional Calculus’, London Mathematical Society, 27, 92–102.

    Article  Google Scholar 

  • Rose, A., and Rosser, J. B. (1958) ‘Fragments of Many-Valued Statement Calculi’, Transaction of the American Mathematical Society, 87, 1–53.

    Article  Google Scholar 

  • Rosenberg, I. G. (1980) ‘The Ramifications of Słupecki Criterion in Many-Valued Logic’, in Proceedings of the 24th Conference on the History of Logic, Cracow, April 28–30, 1978 (Cracow: Jagiellonian University), 58–74.

    Google Scholar 

  • Rosser, J. B., and Turquette, A. M. (1952) Many-Valued Logics (Amsterdam: North-Holland). 2nd edn printed in 1958.

    Google Scholar 

  • Scott, D. (1974) ‘Completeness and Axiomatizability in Many-Valued logics’ in L. Henkin et al. (eds) Proceedings of the Tarski Symposium (Providence, RI: AMS), 411–35.

    Google Scholar 

  • — (1976) ‘Does Many-Valued Logic Have Any Usę’, in S. Körner (ed.) Philosophy of Logic (Berkeley: University of California Press), 64–74.

    Google Scholar 

  • Shramko, Y., and Wansing, H. (2010) ‘Truth values’, in E. N. Zalta (ed.) Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/truth-values/, accessed 20 October 2012.

    Google Scholar 

  • Slupecki, J. (1936) ‘Der volle dreiwertige Aussagenkalkül’, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Cl. III, 29, 9–11. Engl. trans: ‘The Full Three-Valued Propositional Calculus’, in McCall (1967), 335–7.

    Google Scholar 

  • — (1939a) ‘Kryterium pelności wielowartościowych systemów logiki zdań’, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Cl. III, 32, 102–9. Engl. trans: ‘A Criterion of Fullness of Many-Valued Systems of Propositional Logic’, Studia Logica, 30 (1972), 153–7.

    Google Scholar 

  • — (1939b) ‘Dowód aksiomatyzowalności pełnych systemów wielowartoś-ciowych rachunku zdań’, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Cl. III, 32, 110–128. Engl. trans: ‘Proof of Axiomatiz-ability of Full Many-Valued Systems of Calculus of Propositions’, Studia Logica, 29 (1971), 155–68.

    Google Scholar 

  • — (1946) ‘Pelny trójwartościowy rachunek zdań’, Annales Universitatis Mariae Curie-Sklodowska, Sectio F 1, 193–209.

    Google Scholar 

  • — (1964) ‘Próba intuicyjnej interpretacji logiki trójwartościowej Łukasiewicza’, in Rozprawy logiczne. Księga pamiątkowa ku czci K. Ajdukiewicza (Warsaw: PWN), 185–91.

    Google Scholar 

  • Słupecki, J., Bryll, J., and Prucnal, T. (1967) ‘Some Remarks on the Three-Valued Logic of J. Łukasiewicz’, Studia Logica, 21, 45–70.

    Article  Google Scholar 

  • Sobociński, B. (1936) ‘Aksiomatyzacja pewnych wielowartościowych systemów teorji dedukcji’, Roczniki prac naukowych zrzeszenia asystentów Uniwersytetu Józefa Pilsudskiego w Warszawie, 1. Wydzial matematyczno-przyrodniczy, 1, 399–419.

    Google Scholar 

  • Stachniak, Z. (1988) ‘Two Theorems on Many-Valued Logics’, Journal of Philosophical Logic, 17, 171–9.

    Article  Google Scholar 

  • Suchoń, W. (1974) ‘Definition des foncteurs modaux de Moisil dans le calcul n-valent des propositions de Łukasiewicz avec implication et négation’, Reports on Mathematical Logic, 2, 43–7.

    Google Scholar 

  • Surma, S. J. (1971) ‘Jaśkowski’s Matrix Criterion for the Intuitionistic Proposi-tional Calculus’, Prace z Logiki, 6, 21–54.

    Google Scholar 

  • — (1974a) ‘A Method of the Constructions of Łukasiewiczian Algebras and its Application to Gentzen-Style Characterization of Finite Logics’, Reports on Mathematical Logic, 2, 49–54. Reprinted in (Wójcicki, Malinowski, 1977), 93–9.

    Google Scholar 

  • — (1974b) ‘An Algorithm for Axiomatizing Every Finite Logic’, Reports on Mathematical Logic, 3, 57–61. Reprinted in D. C. Rine (ed.) Computer Science and Multiple-Valued Logic: Theory and Applications (Amsterdam: North-Holland), revised edition, 143–9.

    Google Scholar 

  • Surma, S. J. Wroński, A. and Zachorowski, S. (1975) ‘On Jaśkowski-Type Semantics for the Intuitionistic Propositional Logic’, Studia Logica, 34(2), 145–8.

    Article  Google Scholar 

  • Suszko, R. (1975) ‘Remarks on Łukasiewicz’s Three-Valued Logic’, Bulletin of the Section of Logic, 4(3), 87–90.

    Google Scholar 

  • — (1977) ‘The Fregean Axiom and Polish Mathematical Logic in the 1920s’, Studia Logica, 36(4), 377–80.

    Article  Google Scholar 

  • Tarski, A. (1930a) ‘Über einige fundamentale Begriffe der Metamathematik’, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Cl. III, 23, 22–9. Engl. trans.: ‘On Some Fundamental Concepts of Metamathematics’ in (Tarski, 1956), 30–7.

    Google Scholar 

  • — (1930b) ‘Fundamentale Begriffe der Methodologie der deduktiven Wis-senschaften I’, Monatshefte für Mathematik und Physik, 37, 361–404. Engl. trans.: ‘Fundamental Concepts of the Methodology of the Deductive Sciences’, in (Tarski, 1956), 60–109.

    Article  Google Scholar 

  • — (1938) ‘Der Aussagenkalkül und die Topologie’, Fundamenta Mathematicae, 31, 103–34. Engl. trans.: ‘Sentential calculus and topology’, in (Tarski, 1956), 421–54.

    Google Scholar 

  • — (1956) Logic, Semantic, Metamathematics: Papers from 1926 to 1938 (Oxford: Clarendon Press), 2nd edn (Indianapolis: Hackett Publishing Company), 1983.

    Google Scholar 

  • Tokarz, M. (1974a) ‘Invariant Systems of Łukasiewicz Calculi’, Zeitschrift für mathematische Logic und Grundlagen der Mathematik, 20, 221–8.

    Article  Google Scholar 

  • — (1974b) ‘A Method of Axiomatization of Łukasiewicz Logics’, Studia Logica, 33, 333–8. Reprinted in (Wójcicki and Malinowski, 1977), 113–18.

    Article  Google Scholar 

  • — (1977) ‘Degrees of Completeness of Łukasiewicz Logics’, in (Wójcicki and Malinowski, 1977), 127–34.

    Google Scholar 

  • Trzeęsicki, K. (1993) ‘Łukasiewicz on Philosophy and Determinism’, in F. Coniglione, R. Poli, J. Woleński (eds) Polish Scientific Philosophy: The Lvov-Warsaw School (Amsterdam-Atlanta: Rodopi), 251–97.

    Google Scholar 

  • Tsuji, M. (1998) ‘Many-Valued Logics and Suszko’s Thesis Revisited’, Studia Logica, 60(2), 299–309.

    Article  Google Scholar 

  • Tuziak, R. (1988) ‘An Axiomatization of the Finite-Valued Łukasiewicz Calculus’, Studia Logica, 47(1), 49–55.

    Article  Google Scholar 

  • Ulrich, D. (1986) ‘On the Characterization of Sentential Calculi by Finite Matrices’, Reports on Mathematical Logic, 20, 63–86.

    Google Scholar 

  • Urquhart, A. (1973) ‘An Interpretation of Many-Valued Logic’, Zeitschrift für mathematische Logic und Grundlagen der Mathematik, 19, 111–14.

    Article  Google Scholar 

  • Wajsberg, M. (1931) ‘Aksjomatyzacja trójwartościowego rachunku zdań’, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Cl. III, 23, 126–45. Engl. trans.: ‘Axiomatization of the Three-Valued Calculus’ in (Wajsberg, 1977), 12–29.

    Google Scholar 

  • — (1935) ‘Beiträge zum Metaaussgenkalkül I’, Monatshefte für Mathematik und Physik, 42, 221–42. Engl. trans.: ‘Contributions to Meta-Calculus of Propositions I’, in (Wajsberg, 1977), 89–106.

    Article  Google Scholar 

  • — (1936) ‘Untersuchungen über Unabhängigkeitsbeweise nach der Matrizen-methode’, Wiadomości Matematyczne, 41, 33–70. Engl. trans.: ‘On the Matrix Method of Independence Proofs’, in (Wajsberg, 1977), 107–31.

    Google Scholar 

  • — (1977) Logical Works, S. J. Surma (ed.) (Wroclaw: Ossolineum).

    Google Scholar 

  • Wansing, H., and Shramko, Y. (2008) ‘Suszko’s Thesis, Inferential Many-Valuedness and the Notion of a Logical System’, Studia Logica, 88, 405–29 [Erratum in volume 89, 2008, p. 147].

    Google Scholar 

  • Wojtylak, P. (1979) ‘Strongly Finite Logics: Finite Axiomatizability and the Problem of Supremum’, Bulletin of the Section of Logic, 8, 99–111.

    Google Scholar 

  • — (1984) ‘An example of a Finite Though Nonfinitely Axiomatizable Matrix’, Reports on Mathematical Logic, 17, 39–46.

    Google Scholar 

  • Woleński, J. (1985) Filozoficzna Szkola Lwowsko-Waszawska (Warsaw: PWN). Engl. trans.: Logic and Philosophy in the Lvov-Warsaw School (Dordrecht: Reidel), 1989.

    Google Scholar 

  • — (1990) ‘Kotarbinski, Many-Valued Logic and Truth’, in J. Wolenski (ed.) Kotarbiński: Logic, Semantics and Ontology (Dordrecht: Kluwer), 191–8.

    Chapter  Google Scholar 

  • — (1995) ‘Mathematical Logic in Poland 1900–1939: People, Circles, Institutions, Ideas’, Modern Logic, 5(4), 363–405; repr. in J. Woleński (ed.) Essays in the History of Logic and logical Philosophy (Cracow, 1999), 59–84.

    Google Scholar 

  • — (2001) ‘The Rise of Many-Valued Logic in Poland’, in W. Stelzner, M. Stöckler (eds) Zwischen traditioneller und moderner Logik. Nichtklassische Ansätze (Paderborn: Mentis Verlag), 193–204.

    Google Scholar 

  • — (2003a) ‘The Achievements of the Polish School of Logic’, in T. Baldwin (ed.) The Cambridge History of Philosophy1870–1945 (Cambridge: Cambridge University Press), 401–16.

    Chapter  Google Scholar 

  • — (2003b) ‘Determinism and Logic’, Voprosy Filosofii, 5, 71–81 [in Russian]. Spanish version in J. Woleński, P. Domínguez (eds) Lógica y filosofía (Madrid: Publicaciones de la Faculdad de Teologia ‘San Dámaso’, 2005), 83–102.

    Google Scholar 

  • — (2004a) ‘Lvov-Warsaw School’, in Philosophy. Encyclopedic Dictionary (Moscow: Gardariki), 456–7 [in Russian].

    Google Scholar 

  • — (2004b) ‘Polish Logic’, Logic Journal of the IGPL, 12(5), 399–428.

    Article  Google Scholar 

  • — (2009) ‘The Principle of Bivalence and Suszko Thesis’, Bulletin of the Section of Logic, 38(3/4), 99–100.

    Google Scholar 

  • — (2010) ‘Lvov-Warsaw School’, in E. N. Zalta (ed.) Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/lvov-warsaw/, date accessed 20 October 2012.

    Google Scholar 

  • Woleński, J., and Zygmunt, J. (1989) ‘Jerzy Slupecki (1904–1987): Life and Work’, Studia Logica, 48, 401–11.

    Article  Google Scholar 

  • Wójcicki, R. (1969) ‘Logical Matrices Strongly Adequate for Structural Sentential Calculi’, Bulletin de l’Académie Polonaise des Sciences, Série des Sciences, Mathematiques, Astronomiques et Physiques, 6, 333–5.

    Google Scholar 

  • — (1970) ‘Some Remarks on the Consequence Operation in Sentential Logics’, Fundamenta Mathematicae, 68, 269–79.

    Google Scholar 

  • — (1973a) ‘Matrix Approach in the Methodology of Sentential Calculi’, Studia Logica, 32, 7–37.

    Article  Google Scholar 

  • — (1973b) ‘On Matrix Representations of Consequence Operations of Łukasiewicz’s Sentential Calculi’, Zeitschrift für mathematische Logic und Grund-lagen der Mathematik, 19, 239–47. Reprinted in (Wójcicki, Malinowski, 1977), 101–11.

    Article  Google Scholar 

  • — (1977) ‘Strongly Finite Sentential Calculi’, in (Wójcicki and Malinowski, 1977), 53–77.

    Google Scholar 

  • — (1984) Lectures on Propositional Calculi (Wroclaw: Ossolineum).

    Google Scholar 

  • — (1988) Theory of Logical Calculi: Basic Theory of Consequences Operations (Dordrecht: Reidel).

    Book  Google Scholar 

  • Wójcicki, R., and Malinowski, G. (eds) (1977) Selected Papers on Łukasiewicz Sentential Calculi (Wroclaw: Ossolineum).

    Google Scholar 

  • Wójcicki, R., and Zygmunt, J. (2003) ‘Polish logic of the Postwar Period’, in V. F. Hendricks, and J. Malinowski (eds) Trends in Logic: 50 Years of Studia Logica (Dordrecht: Kluwer), 11–33.

    Google Scholar 

  • Wroń ski, A. (1974) ‘On the Cardinalities of Matrices Strongly Adequate for the Intuitionistic Propositional Logic’, Reports on Mathematical Logic, 3, 67–72.

    Google Scholar 

  • — (1979) ‘A Three Element Matrix whose Consequence Operation is not Finitely Based’, Bulletin of the Section of Logic, 8, 68–71.

    Google Scholar 

  • Zawirski, Z. (1934a) ‘Znaczenie logiki wielowartościowej i zwiazek jej z rachunkiem prawdopodobieństwa’, Przegląd Filozoficzny, 37, 393–8.

    Google Scholar 

  • — (1934b) Stosunek logiki wielowartościowej do rachunku prawdopodobieństwa (Poznań: Poznańskie Towarzystwo Przyjaciól Nauk); German partial translation in Z. Zawirski ‘Über das Verhaltnis mehrwertiger logik zur Wahrschein-lichkeitsrechnung’, Studia Philosophica, I, 407–42.

    Google Scholar 

  • Zygmunt, J. (1981) ‘The Logical Investigations of Jan Kalicki’, History and Philosophy of Logic, 2, 41–53.

    Article  Google Scholar 

  • — (1983) ‘An Application of the Lindenbaum Method in the Domain of Strongly Finite Sentential Calculi’, Acta Universitatis Vratislaviensis, 517; Logika, 8, 59–68.

    Google Scholar 

  • — (1984) ‘An Essay in Matrix Semantics for Consequence Relations’, Acta Universitatis Vratislaviensis, 741 (Wroclaw).

    Google Scholar 

Download references

Authors
  1. Alexander S. Karpenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Geneva, Switzerland

    Kevin Mulligan

  2. Jagiellonian University, Poland

    Katarzyna Kijania-Placek  & Tomasz Placek  & 

Copyright information

© 2014 Alexander S. Karpenko

About this chapter

Cite this chapter

Karpenko, A.S. (2014). Many-valued Logic in Poland: The Golden Age. In: Mulligan, K., Kijania-Placek, K., Placek, T. (eds) The History and Philosophy of Polish Logic. History of Analytic Philosophy. Palgrave Macmillan, London. https://doi.org/10.1057/9781137030894_2

Download citation

Publish with us

Policies and ethics

Search

Navigation