Minimal sequent calculi for Lukasiewicz's finitely-valued logics

DOI10.18778/0138-0680.44.3.4.04zbMATH Open1336.03033OpenAlexW2345187783MaRDI QIDQ2810128

A. P. Pyn'ko

Publication date: 31 May 2016

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

Full work available at URL: http://www.filozof.uni.lodz.pl/bulletin/pdf/44_34_4.pdf

zbMATH Keywords

cut eliminationsequent calculusfinitely-valued logics

Mathematics Subject Classification ID

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

Related Items (1)

Proof theory for locally finite many-valued logics: semi-projective logics

This page was built for publication: Minimal sequent calculi for Lukasiewicz's finitely-valued logics

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