scientific article; zbMATH DE number 3039721
From MaRDI portal
Publication:5779170
zbMath0025.00401MaRDI QIDQ5779170
No author found.
Publication date: 1941
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (16)
SZPILRAJN, ARROW AND SUZUMURA: CONCISE PROOFS OF EXTENSION THEOREMS AND AN EXTENSION ⋮ Tarski's definition and truth-makers ⋮ Tarski on logical consequences ⋮ Models of HoTT and the Constructive View of Theories ⋮ The role of universal language in the early work of Carnap and Tarski ⋮ The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper ⋮ An Ontology of States ⋮ Reduction and Tarski's definition of logical consequence ⋮ Distance-based paraconsistent logics ⋮ The pre-history of Kenneth Arrow's social choice and individual values ⋮ Aristotle's Demonstrative Logic ⋮ Data types over multiple-valued logics ⋮ REREADING TARSKI ON LOGICAL CONSEQUENCE ⋮ Reasoning with different levels of uncertainty ⋮ Busting a Myth about Leśniewski and Definitions ⋮ A New–old Characterisation of Logical Knowledge
This page was built for publication:
