Gödel justification logics and realization
From MaRDI portal
Publication:5092557
DOI10.1093/JIGPAL/JZAA070zbMATH Open1494.03042OpenAlexW4233154285MaRDI QIDQ5092557FDOQ5092557
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
Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Fuzzy logic; logic of vagueness (03B52) Cut-elimination and normal-form theorems (03F05)
Cited In (6)
- Title not available (Why is that?)
- A Note on Goddard and Routley's Significance Logic
- After Godel: Mechanism, Reason, and Realism in the Philosophy of Mathematics
- Title not available (Why is that?)
- Hyperresolution for Gödel logic with truth constants
- 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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5092557)
