Finite-valued Logic

This website has moved!

You are looking at an archived page. The website has moved to richardzach.org.

Labeled calculi and finite-valued logics

Approximating propositional calculi by finite-valued logics

Systematic construction of natural deduction systems for many-valued logics

Elimination of cuts in first-order many-valued logics

Proof Theory of Finite-Valued Logics

Links

@RrrichardZach on Twitter

Richard's Logic Blog

PhilPapers profile

Google Scholar profile

Papers on arXiv

GitHub profile

Mathematics Genealogy entry