The dialogical approach to intuitionistic, classical and basic modal logic. Including a brief introduction to the dialogical take on Constructive Type Theory.. مدخل إلى المقاربة الحوارية لمنطق الرتبة الأولى الكلاسيكي والحدساني والمنطق الموجه القضوي، مع عرض موجز للنظرية البنائية للأنماط - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Ouvrages Année : 2019

The dialogical approach to intuitionistic, classical and basic modal logic. Including a brief introduction to the dialogical take on Constructive Type Theory.. مدخل إلى المقاربة الحوارية لمنطق الرتبة الأولى الكلاسيكي والحدساني والمنطق الموجه القضوي، مع عرض موجز للنظرية البنائية للأنماط

Domaines

Philosophie
Fichier non déposé

Dates et versions

halshs-03149353 , version 1 (23-02-2021)

Identifiants

  • HAL Id : halshs-03149353 , version 1

Citer

Shahid Rahman, Juan Redmond, Farid Zidani, Kadoum Yasmina. The dialogical approach to intuitionistic, classical and basic modal logic. Including a brief introduction to the dialogical take on Constructive Type Theory.. مدخل إلى المقاربة الحوارية لمنطق الرتبة الأولى الكلاسيكي والحدساني والمنطق الموجه القضوي، مع عرض موجز للنظرية البنائية للأنماط. 2019. ⟨halshs-03149353⟩
51 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More