Access the full text.
Sign up today, get DeepDyve free for 14 days.
(1932)
Zum intuitionistischen Aussagenkalk ul
G. Takeuti, S. Titani (1992)
Fuzzy Logic and fuzzy set theoryAnal. Math. Logic, 32
(1988)
Mehrwertige Logik
P. Hájek, J. Valdés (1990)
Algebraic foundations of uncertainty processing rule-based expert systems (group theoretic approach)Computing and Informatics \/ Computers and Artificial Intelligence, 9
V. Novák (1990)
On the syntactico-semantical completeness of first-order fuzzy logic. II. Main resultsKybernetika, 26
(1979)
On fuzzy logic I, II, III. Zeitschr
Y. Gurevich, A.I. Kokorin (1963)
Universal equivalence of ordered Abelian groupsAlgebra i Logika, 2.1
C. Alsina, E. Trillas, L. Valverde (1983)
On Some Logical Connectives for Fuzzy Sets TheoryJournal of Mathematical Analysis and Applications, 93
George Gratzer (1979)
Universal Algebra
P. Hájek (1995)
Fuzzy logic and arithmetical hierarchyFuzzy Sets and Systems, 73
E. Davis (1995)
Review of The Uncertain Reasoner's Companion: A Mathematical Perspective by J.B. Paris, Cambridge University Press, 10
The authors are indebted to Pere Garcia for his comments on earlier drafts of this paper. This research has been partially supported by the COPERNICUS project MUM (10053) from the European Union
J. Pavelka (1979)
On fuzzy logic I, II, IIIZ. Math. Logik Grundl. Math., 25
U. Höhle (1995)
Non-classical logics and their applications to fuzzy subsets
P. Hájek, J.J. Valdés (1990)
Algebraic foundations of uncertainty processing in rule-based expert systems IComp. Artif. Intell., 9
A. Rose, J. Rosser (1958)
Fragments of many-valued statement calculiTransactions of the American Mathematical Society, 87
B. Scarpellini (1962)
Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von ŁukasiewiczJournal of Symbolic Logic, 27
B. Bouchon (1987)
Fuzzy inferences and conditional possibility distributionsFuzzy Sets and Systems, 23
(1965)
Representation of Associative Functions Publ
J.B. Paris (1994)
The uncertain reasoner's companion — a mathematical perspective
B. Schweizer, A. Sklar (1983)
Probabilistic metric spaces
but a partial analogy seems possible. This is a subject of current research
Jin-Yi Cai, Ch.Prabhakara Rao
Lecture 8: Universal Algebra
Theorem 4 (Completeness) If ' is a 1-tautology then ' is provable in L
G. Takeuti, Satoko Titani (1992)
Fuzzy logic and fuzzy set theoryArchive for Mathematical Logic, 32
U. Höhle, E. Klement (1995)
Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory
P. Hájek, T. Havránek, R. Jirousek (1992)
Uncertain information processing in expert systems
Proof: If ' is a 1-tautology then the corresponding identity ' = 1 is valid in
J. Łukasiewicz (1970)
Selected works
G. Eberlein (1993)
Fuzzy Logic
G. Birkhoff (1948)
Lattice theory, vol. 25
L. Fuchs (1963)
Partially ordered algebraical systems
H. Kyburg (1996)
Review: J. B. Paris, The Uncertain Reasoner's Companion. A Mathematical PerspectiveJournal of Symbolic Logic, 61
J. Pavelka (1979)
On Fuzzy Logic I Many-valued rules of inferenceMath. Log. Q., 25
(1983)
Probabilistic metric spaces. North Holland
B. Schweizer, A. Sklar (1963)
Associative functions and abstract semi-groupsPubl. Math. Debrecen, 10
V. Novák (1990)
On the syntactico-semantical completeness of first-order fuzzy logic I, IIKybernetika, 26
R. Balbes, P. Dwinger (1974)
Distributive lattices
A simple complete axiomatic system is presented for the many-valued propositional logic based on the conjunction interpreted as product, the coresponding implication (Goguen's implication) and the corresponding negation (Gödel's negation). Algebraic proof methods are used. The meaning for fuzzy logic (in the narrow sense) is shortly discussed.
Archive for Mathematical Logic – Springer Journals
Published: Feb 21, 2005
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.