Proof Theory for First Order Łukasiewicz Logic

DOI10.1007/978-3-540-73099-6_5zbMATH Open1133.03010OpenAlexW1962847297MaRDI QIDQ5434477

Could not fetch data.

Publication date: 4 January 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73099-6_5

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50)

Related Items (3)

[[Publication:5184905|Title not available (Why is that?)]] ⋮ An elementary definability theorem for first order logic ⋮ Proof Theory for Casari's Comparative Logics

This page was built for publication: Proof Theory for First Order Łukasiewicz Logic

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