First-order fuzzy logic

descriptionPublicationkeyboard_double_arrow_right Article 01 Mar 1987 English Publisher:Springer Science and Business Media LLCJournal:Studia Logica, volume 46, pages 87-109 (issn: 0039-3215, eissn: 1572-8730,

Copyright policy )

Authors: Vilém Novák;

doi: 10.1007/bf00396907

First-order fuzzy logic

- Summary
- Subjects
- Metrics

Abstract

This paper is an attempt to develop first-order fuzzy logic based on a truth set being either the interval \(\) or a finite chain. The syntax and semantics of first-order fuzzy logic are developed. The notion of a fuzzy theory in first-order fuzzy logic is introduced and its canonical model is constructed. Finally, completeness theorems are proved which are fuzzy extensions of the classical Gödel's theorems (i.e., the classical ones are special cases of the theorems).

Related Organizations

Czechoslovak Academy of Sciences
Czech Republic

Keywords

canonical model, fuzzy theory, first-order fuzzy logic, Fuzzy logic; logic of vagueness

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	58
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 1%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average