Steffen Lewitzka

activity

20122023

most citedDenotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity

9 citations · 32 across the 12 of their papers we have counts for

collaborators

Showing 2021Show all

1 paper · 1 filter

cs.LO2021

Some remarks on semantics and expressiveness of the Sentential Calculus with Identity

Steffen Lewitzka

Suszko's Sentential Calculus with Identity SCI results from classical propositional calculus CPC by adding a new connective $\equiv$ and axioms for identity $φ \equiv ψ$ (which we in…