Pages that link to "Item:Q3550858"
From MaRDI portal
The following pages link to Natural Deduction and Context as (Constructive) Modality (Q3550858):
Displaying 7 items.
- Natural deduction for modal logic of judgment aggregation (Q1698339) (← links)
- Contexts in mathematical reasoning and computation (Q1895411) (← links)
- Natural implication and modus ponens principle (Q2804046) (← links)
- Embedding Constructive K into Intuitionistic K (Q3185769) (← links)
- Contextual Natural Deduction (Q3455860) (← links)
- Bridges from Language to Logic: Concepts, Contexts and Ontologies (Q5179013) (← links)
- Mathematical logic in knowledge processing. Historical-philosophical reasons for a contextual logic (Q5939636) (← links)