scientific article

zbMath0099.00603MaRDI QIDQ3279278

Helena Rasiowa, Roman Sikorski

Publication date: 1960

Full work available at URL: https://eudml.org/doc/213543

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

Socratic proofs, Relational dual tableau decision procedures and their applications to modal and intuitionistic logics, Dual tableau for monoidal triangular norm logic MTL, Rasiowa-Sikorski deduction systems with the rule of cut: a case study, Beyond Rasiowa's algebraic approach to non-classical logics, Socratic proofs for quantifiers, Tableaux and dual tableaux: transformation of proofs, The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G., Trees and diagrams of decomposition