×

zbMATH — the first resource for mathematics

Lewitzka, Steffen

Compute Distance To:
Author ID: lewitzka.steffen Recent zbMATH articles by "Lewitzka, Steffen"
Published as: Lewitzka, Steffen
Documents Indexed: 16 Publications since 2005

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 17 times in 7 Documents Cited by Year
Minimally generated abstract logics. Zbl 1255.03022
Lewitzka, Steffen; Brunner, Andreas B. M.
3
2009
Abstract logics, logic maps, and logic homomorphisms. Zbl 1131.03006
Lewitzka, Steffen
3
2007
Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate. Zbl 1283.03058
Lewitzka, Steffen
2
2012
\(\in_K\): a non-Fregean logic of explicit knowledge. Zbl 1231.03016
Lewitzka, Steffen
2
2011
\(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity. Zbl 1190.03016
Lewitzka, Steffen
2
2009
A topological approach to universal logic: model-theoretical abstract logics. Zbl 1143.03355
Lewitzka, Steffen
2
2007
A modal logic amalgam of classical and intuitionistic propositional logic. Zbl 1444.03066
Lewitzka, Steffen
1
2017
Algebraic semantics for a modal logic close to S1. Zbl 1396.03032
Lewitzka, Steffen
1
2016
Denotational semantics for modal systems S3–S5 extended by axioms for propositional quantifiers and identity. Zbl 1371.03026
Lewitzka, Steffen
1
2015
A modal logic amalgam of classical and intuitionistic propositional logic. Zbl 1444.03066
Lewitzka, Steffen
1
2017
Algebraic semantics for a modal logic close to S1. Zbl 1396.03032
Lewitzka, Steffen
1
2016
Denotational semantics for modal systems S3–S5 extended by axioms for propositional quantifiers and identity. Zbl 1371.03026
Lewitzka, Steffen
1
2015
Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate. Zbl 1283.03058
Lewitzka, Steffen
2
2012
\(\in_K\): a non-Fregean logic of explicit knowledge. Zbl 1231.03016
Lewitzka, Steffen
2
2011
Minimally generated abstract logics. Zbl 1255.03022
Lewitzka, Steffen; Brunner, Andreas B. M.
3
2009
\(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity. Zbl 1190.03016
Lewitzka, Steffen
2
2009
Abstract logics, logic maps, and logic homomorphisms. Zbl 1131.03006
Lewitzka, Steffen
3
2007
A topological approach to universal logic: model-theoretical abstract logics. Zbl 1143.03355
Lewitzka, Steffen
2
2007

Citations by Year