Keywords: منطق شهودی; primary; 03B20; secondary; 06D20; 06D22; 55U10; Intuitionistic logic; Topological semantics; Heyting algebra; Polyhedron; Triangulation; PL topology;
مقالات ISI منطق شهودی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق شهودی; Intuitionistic logic; Subintuitionistic logic; Conservativity; Kripke models; Neighborhood models;
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: منطق شهودی; 03F05; 03F07; 68T15; 03B60; Cut-elimination; Intuitionistic logic; CERES; Proof resolution;
Keywords: منطق شهودی; Foundations of probability; Lattice theory; Intuitionistic logic; Quantum probability theory;
Keywords: منطق شهودی; Intuitionistic logic; Modal logic; Tableau system; Decidability; Correspondence theorem;
Keywords: منطق شهودی; Petri nets; Contracts; Intuitionistic Logic
Keywords: منطق شهودی; Sahlqvist correspondence; Algorithmic correspondence; Modal mu-calculus; Intuitionistic logic;
Keywords: منطق شهودی; 03F20; 03B55Proof complexity; Intuitionistic logic; Implicational fragment
Keywords: منطق شهودی; Proof Theory; Proof Graphs; N-Graphs; Intuitionistic Logic; Sequent Calculus; Multiple-Conclusion Systems
Keywords: منطق شهودی; Intuitionistic logic; Proof Systems; Focusing; Identity of proofs
Keywords: منطق شهودی; 03; 06; 18; 68BHK semantics; Completeness; Constructive type theory; Evidence semantics; Intersection type; Intuitionistic logic
Keywords: منطق شهودی; 03F03; 03F05; 03F25; 03F55; 03A99Aczel slash relation; Intuitionistic logic; Ordinal analysis; Proof-theoretic strength; Theories of truth
An open mapping theorem for finitely copresented Esakia spaces
Keywords: منطق شهودی; Esakia duality; Uniform interpolation; Intuitionistic logic; Applied topology;
The Σ1-provability logic of HA
Keywords: منطق شهودی; 03F45; 03B45; 03F50; 03F55; Heyting Arithmetic; Intuitionistic logic; Modal Logic; Provability Logic;
The Creating Subject, the Brouwer-Kripke Schema, and infinite proofs
Keywords: منطق شهودی; Brouwer, L. E. J., Brouwer-Kripke schema; Creating subject; Infinite proofs; Intuitionistic logic; Intuitionistic mathematics; Kreisel, G., Kripke, S., Myhill, J., Troelstra, A.S., Theory of the creating subject;
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
Keywords: منطق شهودی; Model theory; Modal logic; Intuitionistic logic; Propositional logic; Bisimulation; Van Benthem's theorem;
Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets
Keywords: منطق شهودی; Rough sets; Heyting algebras; Heyting–Brouwer algebras; Intuitionistic logic; Representation theorems
On unification and admissible rules in Gabbay-de Jongh logics
Keywords: منطق شهودی; 03B20; 03B22; 03B55; 03B70; Intuitionistic logic; Intermediate logic; Admissible rules; Disjunction property; Extension property;
Natural factors of the Muchnik lattice capturing IPC
Keywords: منطق شهودی; 03D30; 03B20; 03G10; 06D20; Muchnik degrees; Intuitionistic logic; Kripke models;
A foundation for support theory based on a non-Boolean event space
Keywords: منطق شهودی; Support theory; Subjective probability; Judgmental heuristics; Intuitionistic logic; Intuitionism; Probability judgment;
Collimation processes in quantum mechanics interpreted in quantum real numbers
Keywords: منطق شهودی; Quantum particle ontology; Intuitionistic logic; Topoidal real numbers; Measurement
Intuitionistic hybrid logic
Keywords: منطق شهودی; Hybrid logic; Modal logic; Intuitionistic logic; Natural deduction;
Terminological difficulties in fuzzy set theory-The case of “Intuitionistic Fuzzy Sets”
Keywords: منطق شهودی; Intuitionistic fuzzy sets; Intuitionistic logic; Terminological clash;