Keywords: منطق غیر کلاسیک; Mathematical fuzzy logic; First-order fuzzy logics; Non-classical logics; Elementary equivalence; Back-and-forth systems; Model theory;
مقالات ISI منطق غیر کلاسیک (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق غیر کلاسیک; Fuzzy connectives; Non-classical logics; Quantum gates;
Keywords: منطق غیر کلاسیک; Category theory; Fuzzy preorders; Non-classical logics;
Keywords: منطق غیر کلاسیک; Non-classical logics; Algebra; Fuzzy t-filters; t-filters; Fuzzy filters; Residuated lattices
Keywords: منطق غیر کلاسیک; Vagueness; Supervaluationism; t-norm based logics; Mathematical fuzzy logic; Non-classical logics
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions
Keywords: منطق غیر کلاسیک; Riesz MV-algebras; Mathematics; Non-classical logics;
Discrete dualities for n-potent MTL-algebras and 2-potent BL-algebras
Keywords: منطق غیر کلاسیک; Non-classical logics; Discrete duality; MTL-algebra; BL-algebra; Residuated lattice; n-potent law
The complexity of primal logic with disjunction
Keywords: منطق غیر کلاسیک; Computational complexity; Non-classical logics; Model checking
A cut-free calculus for second-order Gödel logic
Keywords: منطق غیر کلاسیک; Proof theory; Cut-admissibility; Second-order logic; Non-classical logics; Fuzzy logics; Gödel logic; Non-deterministic semantics;
Characterizations and new subclasses of II-filters in residuated lattices
Keywords: منطق غیر کلاسیک; Non-classical logics; Residuated lattice; II-filter; Divisible filter; Strong filter; n-Contractive filter
A survey of fuzzy implication algebras and their axiomatization
Keywords: منطق غیر کلاسیک; Non-classical logics; Fuzzy implication algebra; Regular fuzzy implication algebra; Heyting type fuzzy implication algebras; PFI-algebra; BCK-algebra
On the independence of axioms in BL and MTL
Keywords: منطق غیر کلاسیک; Non-classical logics; Basic fuzzy logic (BL); Monoidal t-norm based logic (MTL); Hilbert-style calculi; Independence of axioms;
On Realization of Generalized Effect Algebras
Keywords: منطق غیر کلاسیک; non-classical logics; orthomodular lattices; effect algebras; generalized effect algebras; states; generalized states
Logics for approximate and strong entailments
Keywords: منطق غیر کلاسیک; Non-classical logics; Similarity-based reasoning; Approximate entailment; Strong entailment;
Expanding Basic Fuzzy Logic with truth constants for component delimiters
Keywords: منطق غیر کلاسیک; Mathematics; Non-classical logics; Algebra; Basic Fuzzy Logic BL; Propositional constants;
Generalized Bosbach and Riečan states based on relative negations in residuated lattices
Keywords: منطق غیر کلاسیک; Non-classical logics; Residuated lattice; Generalized Bosbach/Riečan state; Cauchy completion; Relative negation; Glivenko theorem
Simplified forms of computerized reasoning with distance semantics
Keywords: منطق غیر کلاسیک; Distance semantics; Automated reasoning; Non-classical logics
Isomorphism theorems on generalized effect algebras based on atoms
Keywords: منطق غیر کلاسیک; 03G12; 06D35; 06F25; 81P10; Non-classical logics; D-posets; Effect algebras; MV-algebras; States; Probabilities on quantum structures;
Issues on adjointness in multiple-valued logics
Keywords: منطق غیر کلاسیک; Non-classical logics; Implication; Conjunction; Adjointness; Generalized modus ponens
NMÅ, a schematic extension of F.Esteva and L.Godo's logic MTL
Keywords: منطق غیر کلاسیک; Non-classical logics; Left-continuous t-norm; MTL system; NM system; Åukasiewicz system; NMÅ system;
A fuzzy logic for an ordinal sum t-norm
Keywords: منطق غیر کلاسیک; Non-classical logics; Ordinal sum t-norms; MTL system; MTLâ system; NMG system; NMGâ system;
Basic decomposition of elements and Jauch-Piron effect algebras
Keywords: منطق غیر کلاسیک; 06F05; 03G25; 81P10; Non-classical logics; Effect algebra; Sharp element; Smearing of a state; Basic decomposition of an element; Unital Jauch-Piron effect algebra;
On the scope of some formulas defining additive connectives in fuzzy logics
Keywords: منطق غیر کلاسیک; Additive connectives; Left-continuous t-norms; Involutive left-continuous t-norms; IMTL-algebras; MTL-algebras; Nilpotent minimum t-norm; NM-algebras; Negation functions; Non-classical logics; Residuated lattices; Residuated fuzzy many-valued logics;