Axiomatization and completeness of uncountably valued approximation logic

Studia Logica 53 (1):137 - 160 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf01053027

Links

PhilArchive



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

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

Semi-post algebras.Nguyen Cat Ho & Helena Rasiowa - 1987 - Studia Logica 46 (2):149 - 160.
Plain semi-post algebras as a poset-based generalization of post algebras and their representability.Nguyen Cat Ho & Helena Rasiowa - 1989 - Studia Logica 48 (4):509 - 530.
Algorithmic logic. Multiple-valued extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
First-order fuzzy logic.Vilém Novák - 1987 - Studia Logica 46 (1):87 - 109.
Finite axiomatization for some intermediate logics.I. Janioka-Żuk - 1980 - Studia Logica 39 (4):415-423.
Fuzzy logic and approximate reasoning.L. A. Zadeh - 1975 - Synthese 30 (3-4):407-428.
Topological representations of post algebras of order ω+ and open theories based on ω+-valued post logic.Helena Rasiowa - 1985 - Studia Logica 44 (4):353 - 368.
Urn models: A classical exposition.M. J. Cresswell - 1982 - Studia Logica 41 (2-3):109-130.

Analytics

Added to PP
2009-01-28

Downloads
37 (#407,825)

6 months
8 (#283,518)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Many-valued logic.Nicholas Rescher - 1969 - New York,: McGraw-Hill.
Probabilistic logic.Nils J. Nilsson - 1986 - Artificial Intelligence 28 (1):71-87.
Fuzzy Sets.Lofti A. Zadeh - 1965 - Information and Control 8 (1):338--53.

View all 6 references / Add more references