Semantics for the sentential calculus with identity

DOI10.1007/BF02124265zbMath0243.02016MaRDI QIDQ2554322

Roman Suszko, Stephen L. Bloom

Publication date: 1971

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items

On the minimal non-Fregean Grzegorczyk logic, Q-ultrafilters and normal ultrafilters in B-algebras, A propositional logic with relative identity connective and a partial solution to the paradox of analysis, Hyperintensional logics for everyone, A Mystery of Grzegorczyk’s Logic of Descriptions, Grzegorczyk's logics. I, ON THE LAWS OF FORM, On 'generalized logics', Tableau-based decision procedure for non-Fregean logic of sentential identity, Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity

Cites Work

• Investigations into the sentential calculus with identity
• Ontology in the Tractatus of L. Wittgenstein
• Some theorems about the sentential calculi of Lewis and Heyting