Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 of  413 نتائج ل ""Logic""

فلترة النتائج

Content Provider : Complementary Index Publisher : springer nature Subject : 0101 mathematics Subject : 0102 computer and information sciences Subject : business.industry Subject : mathematics Subject : proof theory Subject : symbols فلترة بواسطة : موضوع
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Is, Ought, and Cut.

Subjects: DEONTIC logic; PROOF theory; CALCULUS

  • Source: Journal of Philosophical Logic; Aug2023, Vol. 52 Issue 4, p1149-1169, 21p

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

On the Metainferential Solution to the Semantic Paradoxes.

Subjects: PREDICATE (Logic); PARADOX; PROBLEM solving

  • Source: Journal of Philosophical Logic; Jun2023, Vol. 52 Issue 3, p797-820, 24p

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Neutral Free Logic: Motivation, Proof Theory and Models.

Subjects: PROOF theory; MODEL theory; FIRST-order logic

  • Source: Journal of Philosophical Logic; Apr2023, Vol. 52 Issue 2, p519-554, 36p

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Two-sided Sequent Calculi for FDE-like Four-valued Logics.

Subjects: IMPLICATION (Logic); LOGIC; MANY-valued logic

  • Source: Journal of Philosophical Logic; Apr2023, Vol. 52 Issue 2, p495-518, 24p

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach.

Subjects: MANY-valued logic; SATISFACTION; PROOF theory

  • Source: Journal of Philosophical Logic; Dec2022, Vol. 51 Issue 6, p1417-1452, 36p

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Metainferences from a Proof-Theoretic Perspective, and a Hierarchy of Validity Predicates.

Subjects: PREDICATE (Logic); PROOF theory; AXIOMS

  • Source: Journal of Philosophical Logic; Dec2022, Vol. 51 Issue 6, p1295-1325, 31p

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Big Ideas: The Power of a Unifying Concept.

Subjects: PHILOSOPHY of science; TWENTIETH century; LOGICPOINCARE, Henri, 1854-1912

  • Source: Journal for General Philosophy of Science; Mar2023, Vol. 54 Issue 1, p149-168, 20p

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Pseudointersection numbers, ideal slaloms, topological spaces, and cardinal inequalities.

Subjects: MATHEMATICS; LOGIC

  • Source: Archive for Mathematical Logic; Feb2023, Vol. 62 Issue 1/2, p87-112, 26p

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Early Twentieth-Century Visitors and the Development of Modern Mathematics in China.

Subjects: PRIME number theorem; ANALYTIC number theory; HISTORY of mathematics

  • Source: Mathematical Intelligencer; Jun2022, Vol. 44 Issue 2, p137-149, 13p

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization.

Subjects: PROOF theory; LOGIC; FIRST-order logic

  • Source: Archive for Mathematical Logic; Nov2021, Vol. 60 Issue 7/8, p783-813, 31p

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
  • 1-10 of  413 نتائج ل ""Logic""