Keywords: 03G27; 03B25; 03G15; 03B60; Abstract algebraic logic; Leibniz hierarchy; Frege hierarchy Leibniz congruence; Decidability; Diophantine equations; Relation algebras;
مقالات 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: 08B30; 03G27; 46L85; 06F07Multi-poset; Quantum B-algebra; Quantale; Completion; Injective envelope; Quantum space
Keywords: 08C15; 03G27; 03B45; 06E25Almost structural completeness; Structural completeness; Quasivarieties; Axiomatization; Modal normal logics; Varieties of closure algebras
Keywords: 03G27; 06F07; 03B47; 18A15Algebraizable logics; Abstract algebraic logic; Structural closure operators; Semantic isomorphism theorem; Evaluational frames; Compositional lattice
Keywords: 03G27; 03B47; 06D35; 03C40; Algebraic logic; Equivalential logics; Interpolation properties; Amalgamation properties; Åukasiewicz logic;
Non-commutative logical algebras and algebraic quantales
Keywords: primary; 03G27; 06F07; 20F60; 06B23; Quantale; Quantum B-algebra; Enveloping quantale; Pseudo-BCK algebra; Quantum BL-algebra; Partially ordered group;