Access the full text.
Sign up today, get DeepDyve free for 14 days.
(1977)
́ ukasiewicz logics have not the interpolation property
(1977)
L ́ ukasiewicz logics have not the interpolation property
(1989)
Mehrwertige Logik
R. McNaughton (1951)
A theorem about infinite-valued sentential logicJournal of Symbolic Logic, 16
P. Hájek (1998)
Metamathematics of Fuzzy Logic, 4
(1994)
A bracket function transform and its inverse
C. Rourke, B. Sanderson (1972)
Introduction to Piecewise-Linear Topology
B. Schweizer, A. Sklar (1960)
Statistical metric spaces.Pacific Journal of Mathematics, 10
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
(1977)
Craig’s interpolation theorem and amalgamable varieties
(1964)
Binomial Coefficients, the Bracket Function, and Compositions with Relatively Prime Summands
U. Höhle (1995)
Commutative, residuated 1—monoids
M. Baaz (1996)
Infinite-valued Gödel logics with $0$-$1$-projections and relativizations
(1996)
A complete many-valued logic with productconjunction.Archive for Math. Logic 35/3
P. Hájek, L. Godo, F. Esteva (1996)
A complete many-valued logic with product-conjunctionArchive for Mathematical Logic, 35
A. Pitts (1992)
On an interpretation of second order quantification in first order intuitionistic propositional logicJournal of Symbolic Logic, 57
We investigate interpolation properties of many-valued propositional logics related to continuous t-norms. In case of failure of interpolation, we characterize the minimal interpolating extensions of the languages. For finite-valued logics, we count the number of interpolating extensions by Fibonacci sequences.
Archive for Mathematical Logic – Springer Journals
Published: Oct 1, 1999
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.