Strong completeness of lattice-valued logic

Archive for Mathematical Logic 41 (5):497-505 (2002)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1007/s001530100122

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Systems of Quantum Logic.Satoko Titani, Heiji Kodera & Hiroshi Aoyama - 2013 - Studia Logica 101 (1):193-217.
A lattice-valued set theory.Satoko Titani - 1999 - Archive for Mathematical Logic 38 (6):395-421.
Theory of completeness for logical spaces.Kensaku Gomi - 2009 - Logica Universalis 3 (2):243-291.
Algorithmic logic. Multiple-valued extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.
The Strong Completeness of a System for Kleene's Three‐Valued Logic.John T. Kearns - 1979 - Mathematical Logic Quarterly 25 (3‐6):61-68.
The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic.Hiroshi Aoyama - 1994 - Notre Dame Journal of Formal Logic 35 (3):355-368.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
A strong completeness theorem for $3$-valued logic. [REVIEW]H. Goldberg, H. Leblanc & G. Weaver - 1974 - Notre Dame Journal of Formal Logic 15 (2):325-330.
2-element matrices.Wolfgang Rautenberg - 1981 - Studia Logica 40 (4):315 - 353.
Syntax and Semantics of the Logic.Carsten Butz - 1997 - Notre Dame Journal of Formal Logic 38 (3):374-384.
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic.Beata Konikowska - 1990 - Studia Logica 49 (4):541 - 555.

Analytics

Added to PP
2013-11-23

Downloads
18 (#808,169)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Systems of Quantum Logic.Satoko Titani, Heiji Kodera & Hiroshi Aoyama - 2013 - Studia Logica 101 (1):193-217.
Interpreting lattice-valued set theory in fuzzy set theory.P. Hajek & Z. Hanikova - 2013 - Logic Journal of the IGPL 21 (1):77-90.

Add more citations

References found in this work

No references found.

Add more references