Keywords: منطق زیر ساختار; Separation logic; bunched logic; substructural logic; program logic; categorical logic; algebraic logic; representation; Stone duality; complex systems; hyperdoctrine; relational semantics; topological semantics; completeness;
مقالات ISI منطق زیر ساختار (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق زیر ساختار; Completeness; Canonicity; Coalgebraic logic; Substructural logic; Resource modelling; Separation logic;
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: منطق زیر ساختار; Involutive residuated semigroup; Constructions; Substructural logic
Keywords: منطق زیر ساختار; Abstract Consequence Relations; Proof-Theory; Admissible Rules; Deduction Theorem; Uniform Substitution; Substructural Logic; Universal Logic; Modal Logic
Algebraic proof theory: Hypersequents and hypercompletions
Keywords: منطق زیر ساختار; 03B47; 03G10; 03F05; 03F03; Substructural logic; Hypersequent calculus; Residuated lattice; Substructural hierarchy; Residuated frame; Algebraic completion;
Term satisfiability in FLew-algebras
Keywords: منطق زیر ساختار; Substructural logic; FLew-algebra; MV-algebra; Satisfiability; Computational complexity;
Co-rotation constructions of residuated semigroups
Keywords: منطق زیر ساختار; Involutive residuated semigroup; Constructions; Substructural logic