The following pages link to V. C. V. de Paiva (Q1591339):
Displaying 28 items.
- (Q276028) (redirect page) (← links)
- (Q1781094) (redirect page) (← links)
- If, not when (Q276029) (← links)
- Natural number objects in Dialectica categories (Q281151) (← links)
- Full intuitionistic linear logic (Q1314646) (← links)
- On an intuitionistic modal logic (Q1591340) (← links)
- Dialectica categories for the Lambek calculus (Q1709707) (← links)
- Fibrational modal type theory (Q1744413) (← links)
- Relating categorical semantics for intuitionistic linear logic (Q1781095) (← links)
- Poset-valued sets or how to build models for linear logics (Q1826627) (← links)
- Dialectica logical principles (Q2151422) (← links)
- Intuitionistic hybrid logic (Q2506826) (← links)
- Dialectica principles via Gödel doctrines (Q2682930) (← links)
- (Q3119362) (← links)
- (Q3367300) (← links)
- (Q3413927) (← links)
- Intuitionistic Modal Logic: A 15-year retrospective (Q4612427) (← links)
- Dialectical categories, cardinalities of the continuum and combinatorics of ideals (Q4644592) (← links)
- Linear logic model of state revisited (Q4644612) (← links)
- Constructive Description Logics Hybrid-Style (Q4917077) (← links)
- A dialectica-like model of linear logic (Q5096268) (← links)
- Applied Category Theory in Chemistry, Computing, and Social Networks (Q5099508) (← links)
- Multiple conclusion linear logic: cut elimination and more (Q5108019) (← links)
- Intuitionistic N-Graphs (Q5176672) (← links)
- Bridges from Language to Logic: Concepts, Contexts and Ontologies (Q5179013) (← links)
- Dialectica logical principles: not only rules (Q5872880) (← links)
- Dialectica Comonads (Invited Talk) (Q6061661) (← links)
- An ecumenical notion of entailment (Q6067097) (← links)
- (Q6113375) (← links)
