Proof theory of witnessed Gödel logic: a negative result

DOI10.1093/LOGCOM/EXT018zbMATH Open1444.03016OpenAlexW2070034251MaRDI QIDQ2804319FDOQ2804319

Authors: Matthias Baaz, Agata Ciabattoni 

Publication date: 28 April 2016

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/ext018

Recommendations

• A semantic proof of strong cut-admissibility for first-order Godel logic
• Note on witnessed Gödel logics with Delta
• Publication:2721191
• A simple proof of completeness and cut-admissibility for propositional Gödel logic
• A cut-free calculus for second-order Gödel logic

zbMATH Keywords

many-valued logicssuperintuitionistic logicsanalytic calculisequents of relationswitnessed Gödel logic

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Cited In (3)

• Towards a proof theory of Gödel modal logics
• Proof theory for positive logic with weak negation
• Note on witnessed Gödel logics with Delta

This page was built for publication: Proof theory of witnessed Gödel logic: a negative result

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2804319)