Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
133 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
46 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Some remarks on semantics and expressiveness of the Sentential Calculus with Identity (2112.02696v1)

Published 5 Dec 2021 in cs.LO

Abstract: Suszko's Sentential Calculus with Identity SCI results from classical propositional calculus CPC by adding a new connective $\equiv$ and axioms for identity $\varphi\equiv\psi$ (which we interpret here as propositional identity'). We reformulate the original semantics of SCI in terms of Boolean prealgebras establishing a connection tohyperintensional semantics'. Furthermore, we define a general framework of dualities between certain SCI-theories and Lewis-style modal systems in the vicinity of S3. Suszko's original approach to two SCI-theories corresponding to S4 and S5 can be formulated as a special case. All these dualities rely particularly on the fact that Lewis' strict equivalence' is axiomatized by the SCI-principles ofpropositional identity'.

Summary

We haven't generated a summary for this paper yet.