Quantcast

Strong completeness of lattice-valued logic

Research paper by Mitio Takano

Indexed on: 01 Jul '02Published on: 01 Jul '02Published in: Archive for Mathematical Logic



Abstract

 Strong completeness of S. Titani's system for lattice valued logic is shown by means of Dedekind cuts.