Densification of FL chains via residuated frames
نویسندگان
چکیده
منابع مشابه
Residuated Frames with Applications to Decidability
Residuated frames provide relational semantics for substructural logics and are a natural generalization of Kripke frames in intuitionistic and modal logic, and of phase spaces in linear logic. We explore the connection between Gentzen systems and residuated frames and illustrate how frames provide a uniform treatment for semantic proofs of cut-elimination, the finite model property and the fin...
متن کاملArchimedean classes in integral commutative residuated chains
The problem of characterization of the structure of MTL-algebras, which form an equivalent algebraic semantics for Monoidal T-norm Based Logic (see [9]) in the sense of Blok and Pigozzi (see [3]), is still far from being solved. Since MTL-algebras are in fact subdirect products of chains, it suffices to investigate only the structure of MTL-chains if we want to characterize the structure of MTL...
متن کاملDistributive residuated frames and generalized bunched implication algebras
We show that all extensions of the (non-associative) Gentzen system for distributive full Lambek calculus by simple structural rules have the cut elimination property. Also, extensions by such rules that do not increase complexity have the finite model property, hence many subvarieties of the variety of distributive residuated lattices have decidable equational theories. For some other extensio...
متن کاملOn the Structure of Finite Integral Commutative Residuated Chains
Among the class of finite integral commutative residuated chains (ICRCs), we identify those algebras which can be obtained as a nuclear retraction of a conuclear contraction of a totally ordered Abelian l-group. We call the ICRCs satisfying this condition regular. Then we discuss the structure of finite regular ICRCs. Finally, we prove that the class of regular members generate a strictly small...
متن کاملFuzzy concepts defined via residuated maps
Institute of Mathematics of the Academy of Sciences of the Czech Republic provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This paper has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library 1 We show how some c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebra universalis
سال: 2016
ISSN: 0002-5240,1420-8911
DOI: 10.1007/s00012-016-0372-5