Pages that link to "Item:Q2820696"
From MaRDI portal
The following pages link to A Multi-type Calculus for Inquisitive Logic (Q2820696):
Displaying 15 items.
- Mints type deductive calculi for logic programming (Q1192340) (← links)
- Labelled sequent calculus for inquisitive logic (Q1679793) (← links)
- Semi De Morgan logic properly displayed (Q2021557) (← links)
- Inquisitive Heyting algebras (Q2062213) (← links)
- Propositional union closed team logics (Q2131275) (← links)
- Questions and dependency in intuitionistic logic (Q2176408) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- Proper multi-type display calculi for rough algebras (Q2333670) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- (Q5119388) (← links)
- GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC (Q5880428) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)