Investigations into the sentential calculus with identity

DOI10.1305/NDJFL/1093890617zbMath0188.01203OpenAlexW1973517051MaRDI QIDQ2537104

Roman Suszko, Stephen L. Bloom

Publication date: 1972

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093890617

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Related Items (20)

Non-Fregean propositional logic with quantifiers ⋮ Reasoning about proof and knowledge ⋮ A propositional logic with relative identity connective and a partial solution to the paradox of analysis ⋮ Is the principle of contradiction a consequence of \(x^2=x\)? ⋮ Sequent calculi for \(\mathsf{SCI}\) ⋮ Fregean logics ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Psychophysiological approach to the liar paradox: Jean Buridan's virtual entailment principle put to the test ⋮ On the Axiom of Canonicity ⋮ Some remarks on semantics and expressiveness of the sentential calculus with identity ⋮ Hyperintensional logics for everyone ⋮ An Investigation into Intuitionistic Logic with Identity ⋮ ON THE LAWS OF FORM ⋮ A ``Distributive or a ``Collective Approach to Sentences? ⋮ Tableau-based decision procedure for non-Fregean logic of sentential identity ⋮ Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI ★ ⋮ Semantics for the sentential calculus with identity ⋮ Content Implication and the Yablo’s Sequent of Sentences ⋮ Natural deduction systems for intuitionistic logic with identity ⋮ Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity

This page was built for publication: Investigations into the sentential calculus with identity