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

DOI10.1093/LOGCOM/EXT018MaRDI QIDQ2804319zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• A semantic proof of strong cut-admissibility for first-order Godel logic
• Note on witnessed Gödel logics with Delta
• scientific article; zbMATH DE number 1612546
• A simple proof of completeness and cut-admissibility for propositional Gödel logic
• A cut-free calculus for second-order Gödel logic

Cited in

(3)

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

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)