Finitely many-valued logics and natural deduction

DOI10.1093/jigpal/jzt032zbMath1328.03022OpenAlexW2105309944MaRDI QIDQ5176676

Edward Hermann Haeusler, Cecilia Englander, Luiz Carlos Pereira

Publication date: 27 February 2015

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzt032

zbMATH Keywords

natural deductionfinite-valued logicbivalent representationgeneral completeness proof

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Many-valued logic (03B50)

Related Items (5)

Correspondence analysis for some fragments of classical propositional logic ⋮ Compositional meaning in logic ⋮ Unnamed Item ⋮ Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics ⋮ Normalisation for Some Quite Interesting Many-Valued Logics

This page was built for publication: Finitely many-valued logics and natural deduction