Jerzy Słupecki (1904–1987)

DOI10.1007/978-3-319-65430-0_39zbMath1466.01024OpenAlexW2808139807MaRDI QIDQ4611692

Jan Woleński

Publication date: 21 January 2019

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-65430-0_39

zbMATH Keywords

many-valued logicpropositional calculusAristotelian syllogistic

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Cites Work

• A criterion of fullness of many-valued systems of propositional logic
• A variant of the proof of the completeness of the first order functional calculus
• Proof of axiomatizability of full many-valued systems of calculus of propositions
• A generalization of modal logic
• Theory of rejected propositions. I
• The logical works of J. Łukasiewicz

This page was built for publication: Jerzy Słupecki (1904–1987)