Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Strong completeness of lattice-valued logic

Strong completeness of lattice-valued logic  Strong completeness of S. Titani's system for lattice valued logic is shown by means of Dedekind cuts. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Archive for Mathematical Logic Springer Journals

Strong completeness of lattice-valued logic

Archive for Mathematical Logic , Volume 41 (5) – Jul 1, 2002

Loading next page...
 
/lp/springer-journals/strong-completeness-of-lattice-valued-logic-KUkbec31E2

References (3)

Publisher
Springer Journals
Copyright
Copyright © 2002 by Springer-Verlag Berlin Heidelberg
Subject
Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
ISSN
0933-5846
eISSN
1432-0665
DOI
10.1007/s001530100122
Publisher site
See Article on Publisher Site

Abstract

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

Journal

Archive for Mathematical LogicSpringer Journals

Published: Jul 1, 2002

There are no references for this article.