Algebraic treatment of the notion of satisfiability

DOI10.4064/fm-40-1-62-95zbMath0053.00205OpenAlexW889431080MaRDI QIDQ5823274

Roman Sikorski, Helena Rasiowa

Publication date: 1953

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (12)

Leon Henkin the Reviewer ⋮ A geometric interpretation of logical formulae ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ A saturation property of structures obtained by forcing with a compact family of random variables ⋮ Abstract algebraic logic. An introductory chapter ⋮ A remark on pseudo proof systems and hard instances of the satisfiability problem ⋮ Intuitionism and the modal logic of vagueness ⋮ \(LT\)-fuzzy sets ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ Key notions of Tarski's methodology of deductive systems ⋮ The Skolem-Löwenheim theorem in toposes. II ⋮ A portrait of Alfred Tarski

This page was built for publication: Algebraic treatment of the notion of satisfiability