zbMATH — the first resource for mathematics

Lewitzka, Steffen

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

Co-Authors

 13 single-authored 2 Brunner, Andreas Bernhard Michael 1 De Queiroz, Ruy José Guerra Barretto
all top 5

Serials

 4 Journal of Logic and Computation 3 Logica Universalis 2 Studia Logica 2 Logic Journal of the IGPL 1 Notre Dame Journal of Formal Logic 1 Annals of Pure and Applied Logic 1 Archive for Mathematical Logic

Fields

 16 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX)

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.
2009
Abstract logics, logic maps, and logic homomorphisms. Zbl 1131.03006
Lewitzka, Steffen
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
2012
$$\in_K$$: a non-Fregean logic of explicit knowledge. Zbl 1231.03016
Lewitzka, Steffen
2011
$$\in_I$$: an intuitionistic logic without Fregean axiom and with predicates for truth and falsity. Zbl 1190.03016
Lewitzka, Steffen
2009
A topological approach to universal logic: model-theoretical abstract logics. Zbl 1143.03355
Lewitzka, Steffen
2007
A modal logic amalgam of classical and intuitionistic propositional logic. Zbl 1444.03066
Lewitzka, Steffen
2017
Algebraic semantics for a modal logic close to S1. Zbl 1396.03032
Lewitzka, Steffen
2016
Denotational semantics for modal systems S3–S5 extended by axioms for propositional quantifiers and identity. Zbl 1371.03026
Lewitzka, Steffen
2015
A modal logic amalgam of classical and intuitionistic propositional logic. Zbl 1444.03066
Lewitzka, Steffen
2017
Algebraic semantics for a modal logic close to S1. Zbl 1396.03032
Lewitzka, Steffen
2016
Denotational semantics for modal systems S3–S5 extended by axioms for propositional quantifiers and identity. Zbl 1371.03026
Lewitzka, Steffen
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
2012
$$\in_K$$: a non-Fregean logic of explicit knowledge. Zbl 1231.03016
Lewitzka, Steffen
2011
Minimally generated abstract logics. Zbl 1255.03022
Lewitzka, Steffen; Brunner, Andreas B. M.
2009
$$\in_I$$: an intuitionistic logic without Fregean axiom and with predicates for truth and falsity. Zbl 1190.03016
Lewitzka, Steffen
2009
Abstract logics, logic maps, and logic homomorphisms. Zbl 1131.03006
Lewitzka, Steffen
2007
A topological approach to universal logic: model-theoretical abstract logics. Zbl 1143.03355
Lewitzka, Steffen
2007

Cited by 4 Authors

 5 Lewitzka, Steffen 2 Brunner, Andreas Bernhard Michael 1 Paseau, Alexander Christopher 1 Wallmann, Christian

Cited in 4 Serials

 3 Logica Universalis 2 Studia Logica 1 Annals of Pure and Applied Logic 1 The Review of Symbolic Logic

Cited in 2 Fields

 7 Mathematical logic and foundations (03-XX) 1 Order, lattices, ordered algebraic structures (06-XX)