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 2015Show all

2 papers · 1 filter

cs.LO2015

Combining intermediate propositional logics with classical logic

Steffen Lewitzka

In [17], we introduced a modal logic, called $L$ , which combines intuitionistic propositional logic $I P C$ and classical propositional logic $C P C$ and is complete w.r.t. an algebrai…

cs.LO2015★ 1 cited

Topological representation of intuitionistic and distributive abstract logics

Andreas B. M. Brunner, Steffen Lewitzka

We continue work of our earlier paper (Lewitzka and Brunner: Minimally generated abstract logics, Logica Universalis 3(2), 2009), where abstract logics and particularly intuitionis…