document: Strong completeness of lattice-valued logic This paper shows strong completeness of the system L for lattice valued logic given by S. Titani -LRB- 1999 -RRB- , in which she formulates a lattice-valued set theory by introducing the logical implication which represents the order relation on the lattice . Syntax and semantics concerned are described and strong completeness is proved
doc_bio_tags: B I O O O O O O B I O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O B I O O O O B O B O O O O B I O O