Abstract
A first order uncountably valued logicL Q(0,1) for management of uncertainty is considered. It is obtained from approximation logicsL T of any poset type (T, ⩽) (see Rasiowa [17], [18], [19]) by assuming (T, ⩽)=(Q(0, 1), ⩽) — whereQ(0, 1) is the set of all rational numbersq such that 0<q<1 and ⩽ is the arithmetic ordering — by eliminating modal connectives and adopting a semantics based onLT-fuzzy sets (see Rasiowa and Cat Ho [20], [21]). LogicL Q(0,1) can be treated as an important case ofLT-fuzzy logics (introduced in Rasiowa and Cat Ho [21]) for (T, ⩽)=(Q(0, 1), ⩽), i.e. asLQ(0, 1)-fuzzy logic announced in [21] but first examined in this paper.L Q(0,1) deals with vague concepts represented by predicate formulas and applies approximate truth-values being certain subsets ofQ(0, 1). The set of all approximate truth-values consists of the empty set ø and all non-empty subsetss ofQ(0, 1) such that ifq∈s andq′⩽q, thenq′∈s. The setLQ(0, 1) of all approximate truth-values is uncountable and covers up to monomorphism the closed interval [0, 1] of the real line.LQ(0, 1) is a complete set lattice and therefore a pseudo-Boolean (Heyting) algebra. Equipped with some additional operations it is a basic plain semi-Post algebra of typeQ(0, 1) (see Rasiowa and Cat Ho [20]) and is taken as a truth-table forL Q(0,1) logic.L Q(0,1) can be considered as a modification of Zadeh's fuzzy logic (see Bellman and Zadeh [2] and Zadeh and Kacprzyk, eds. [29]). The aim of this paper is an axiomatization of logicL Q(0,1) and proofs of the completeness theorem and of the theorem on the existence ofLQ(0, 1)-models (i.e. models under the semantics introduced) for consistent theories based on any denumerable set of specific axioms. Proofs apply the theory of plain semi-Post algebras investigated in Cat Ho and Rasiowa [4].
Similar content being viewed by others
References
A. Białynicki-Birula andH. Rasiowa,On the representation of quasi-Boolean algebras Bull. Ac. Pol. Sci. C1.III, 5 (1957), pp. 615–619.
R. Z. Bellman andL. A. Zadeh,Local and fuzzy logic in:Modern Uses of Multiple-Valued Logic, J. M. Dunn, G. Epstein (eds.), D. Reidel Publ. Co., Dordrecht 1997, pp. 103–165.
Ng. Cat Ho andH. Rasiowa,Semi-Post algebras Studia Logica 46 2 (1987), pp. 147–158.
Ng. Cat Ho andH. Rasiowa,Plain semi-Post algebras as a poset-based generalization of the Post algebras and their representability Studia Logica 48 4 (1989), pp. 509–530.
B. F. Chellas,Modal Logic, Cambridge University Press, 1980.
G. Epstein,The lattice theory of Post algebras Trans. Amer. Math. Soc. 95 (1960), pp. 300–317.
M. R. Genesereth andN. J. Nilsson,Logical Foundations of Artificial Intelligence, Morgan Kaufmann, 1987.
M. L. Ginsberg (ed.),Readings in Nonmonotonic Reasoning, Morgan Kaufmann, 1987.
J. A. Goguen,L-fuzzy sets Journal Math. Anal. Appls. 18 (1967), pp. 145–174.
J. Y. Halpern (ed.),Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, 1986.
J. Łukasiewicz andA. Tarski,Untersuchungen über den Aussagen-Kalkül Comptes-rendus des Séances de la Societé des Sciences et des Lettres de Varsovie, CLIII 23, 1930, pp. 30–50.
N. J. Nilsson Probabilistic logic Artificial Intelligence 28 (1986), pp. 71–87.
R. Parikh, (ed.),Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, 1990.
Z. Pawlak,Rough sets Int. Journal of Computer and Information Sciences 11 (1982), pp. 341–356.
Z. Pawlak,Rough Sets. Theoretical Aspects of Reasoning about Data Kluwer Academic Publishers, Dordrecht/Boston/London 1991.
H. Rasiowa,An Algebraic Approach to Non-classical Logics, Studies in Logic and the Foundations of Mathematics, 78 North-Holland, Amsterdam 1974.
H. Rasiowa,An Algebraic approach to some approximate reasoning, Invited lecture Proc. ISMVL'87, IEEE Computer Society Press, Boston 1987, pp. 342–347.
H. Rasiowa,Logic of approximation reasoning Proc. 1st Workshop on Computer Science Logic, Karlsruhe, FRG, 1987, LNCS 329, Springer-Verlag, Berlin 1988, pp. 188–210.
H. Rasiowa,On approximation logics: A survey Jahrbuch1990 Kurt Gödel Geselschaft, Wien, pp. 63–87.
H. Rasiowa andNg. Cat Ho,LT-fuzzy sets Int. Journal Fuzzy Sets and Systems 47, 3(1992), North-Holland, Amsterdam, pp. 233–339.
H. Rasiowa andNg. Cat Ho,LT-fuzzy logics in:Fuzzy Logic for Management of Uncertainty L. A. Zadeh and J. Kacprzyk, eds., J. Wiley, New York 1992, pp. 121–139.
H. Rasiowa andW. Marek,On reaching consensus by groups of intelligent agents Proc. ISMIS'89 Z. W. Raś (ed.), North-Holland, Amsterdam 1989, pp. 234–243.
H. Rasiowa andR. Sikorski,A proof of the completeness theorem of Gödel Fundamenta Mathematicae 37 (1950), pp. 192–200.
H. Rasiowa, andR. Sikorski,The Mathematics of Metamathematics, Polish Scientific Publ. Warszawa 1963, 3rd ed. 1970.
H. Rasiowa andA. Skowron,Approximation logic Proc. Math. Methods of Specification and Synthesis of Software Systems Symp. 1985, Akademie Verlag, Band 31, Berlin 1986, pp. 123–139.
N. Rescher,Many-valued Logic Mc-Graw-Hill, New York 1969.
R. Słowiński, (ed.)Intelligent Decision Support. Handbook of Applications and Advances in the Rough Sets Theory Kluwer Academic Publishers, Dordrecht/Boston/London 1992.
L. A. Zadeh,Fuzzy sets Information and Control 8 (1965), pp. 338–359.
L. A. Zadeh andJ. Kacprzyk eds.,Fuzzy Logic for Management of Uncertainty J. Wiley, New York 1992.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rasiowa, H. Axiomatization and completeness of uncountably valued approximation logic. Stud Logica 53, 137–160 (1994). https://doi.org/10.1007/BF01053027
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01053027