Login / Signup
Martin Fischer
ORCID
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 2
Top Topics
Lattice Theory
Propositional Logic
Cut Elimination
Belief Change
Top Venues
Stud Logica
</>
Publications
</>
Martin Fischer
Sequent Calculi for the Propositional Logic of HYPE.
Stud Logica
110 (3) (2022)
Martin Fischer
,
Norbert Gratzl
Truth, Partial Logic and Infinitary Proof Systems.
Stud Logica
106 (3) (2018)