2020-09-252020-09-25 rzach Many-valued logic in the OLP We have four new chapters in the OLP. They contain draft material on many-valued logics. The Introduction explains their syntax […]