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

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  44 نتائج ل ""Excluded Middle""

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

Subject : 01 natural sciences
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Does Choice Really Imply Excluded Middle? Part II: Historical, Philosophical, and Foundational Reflections on the Goodman–Myhill Result†

Subjects: Philosophy; General Mathematics; Law of excluded middle

  • Source: Philosophia Mathematica. 29:28-63

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

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

One-Step Modal Logics, Intuitionistic and Classical, Part 1

Subjects: Soundness; Class (set theory); Natural deduction

  • Source: Journal of Philosophical Logic. 50:837-872

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

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

Semantical Interpretations of the Temporal Logic Systems CL and Kb with the Gaps of Traditional Truth-values

Subjects: Computer science; media_common.quotation_subject; Context (language use)

  • Source: Problemos, Vol 97 (2020)

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

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

On the independence of premiss axiom and rule

Subjects: Predicate logic; Discrete mathematics; Logic

  • Source: Archive for Mathematical Logic. 59:793-815

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

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

The scope of Feferman’s semi-intuitionistic set theories and his second conjecture

Subjects: Conjecture; Scope (project management); General Mathematics

  • Source: Indagationes Mathematicae. 30:500-525

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

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

A lattice of the paracomplete calculi

Subjects: Hierarchy (mathematics); Logic; Semantics (computer science)

  • Source: Logical Investigations. 26:110-123

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

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

To be or not to be constructive, that is not the question

Subjects: Classical mathematics; General Mathematics; Existential quantification

  • Source: Indagationes Mathematicae. 29:313-381

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

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

Validating Brouwer's continuity principle for numbers using named exceptions

Subjects: Computer science [C05] [Engineering, computing & technology]; Law of Continuity; Class (set theory)

  • Source: Mathematical Structures in Computer Science. (2017).

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

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

An enquiry into the ontological and logical foundations of sustainability: Toward a conceptual integration of the interface ‘Nature/Humanity’

Subjects: Reductionism; Global and Planetary Change; 010504 meteorology & atmospheric sciences

  • Source: Global Sustainability. 2

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

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

Strong Normalization for HA + EM1 by Non-Deterministic Choice

Subjects: Normalization (statistics); FOS: Computer and information sciences; Computer Science - Logic in Computer Science

  • Source: Electronic Proceedings in Theoretical Computer Science, Vol 127, Iss Proc. COS 2013, Pp 1-14 (2013)Proceedings First Workshop on Control Operators and their Semantics, COS 2013First

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

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