Gödel justification logics and realization

DOI10.1093/JIGPAL/JZAA070zbMath1494.03042OpenAlexW4233154285MaRDI QIDQ5092557

Nicholas Pischke

Publication date: 22 July 2022

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzaa070

zbMATH Keywords

fuzzy logicmodal logicrealizationGödel logicjustification logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05)

Related Items (1)

On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs

This page was built for publication: Gödel justification logics and realization