Keywords: 03B47; 03G25; Residuated lattice; MTL-algebra; BL-algebra; Distributive element; Standard element; Neutral element;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: primary; 03B47; 03B55; 06D20; 06F05; secondary; 03G25; 03G27; Epimorphism; Brouwerian algebra; Heyting algebra; Esakia space; Residuated lattice; Sugihara monoid; Substructural logic; Intuitionistic logic; Relevance logic; R-mingle; Beth definability;
Keywords: 03G27; 06F07; 03B47; 18A15Algebraizable logics; Abstract algebraic logic; Structural closure operators; Semantic isomorphism theorem; Evaluational frames; Compositional lattice
Keywords: 03B22; 03B47; 03B53; 03F52Relevance logics; Entailment relations; Connectives; Linear logic
Keywords: 03G27; 03B47; 06D35; 03C40; Algebraic logic; Equivalential logics; Interpolation properties; Amalgamation properties; Åukasiewicz logic;
Hulls of ordered algebras: Projectability, strong projectability and lateral completeness
Keywords: primary; 06F05; secondary; 06D35; 06F15; 03G10; 03B47; 08B15; Ordered semigroups and monoids; MV-algebras; Ordered groups; Algebraic logic; Lattices and related structures; Substructural logics; Lattices of varieties;
Algebraic proof theory: Hypersequents and hypercompletions
Keywords: 03B47; 03G10; 03F05; 03F03; Substructural logic; Hypersequent calculus; Residuated lattice; Substructural hierarchy; Residuated frame; Algebraic completion;
Projectable â-groups and algebras of logic: Categorical and algebraic connections
Keywords: 06F05; 06D35; 06F15; 03G10; 03B47;
Word problem for knotted residuated lattices
Keywords: 06F05; 03B47
Algebraic proof theory for substructural logics: Cut-elimination and completions
Keywords: 03B47; 06F05; 03G10; 08B15Substructural logic; Gentzen system; Residuated lattices; Cut-elimination; Structural rule; MacNeille completions