The dialogical approach to intuitionistic, classical and basic modal logic. Including a brief introduction to the dialogical take on Constructive Type Theory..مدخل إلى المقاربة الحوارية لمنطق الرتبة الأولى الكلاسيكي والحدساني والمنطق الموجه القضوي، مع عرض موجز للنظرية البنائية للأنماط
Fiche du document
Date
2019
Type de document
Périmètre
Langue
Identifiants
- handle: 10670/1.v9p1p2
- halshs: halshs-03149353
Source
Collection
Organisation
Citer ce document
Shahid Rahman et al., « The dialogical approach to intuitionistic, classical and basic modal logic. Including a brief introduction to the dialogical take on Constructive Type Theory..مدخل إلى المقاربة الحوارية لمنطق الرتبة الأولى الكلاسيكي والحدساني والمنطق الموجه القضوي، مع عرض موجز للنظرية البنائية للأنماط », HAL-SHS : philosophie, ID : 10670/1.v9p1p2
Métriques
Partage / Export
Résumé
International audience