Pages that link to "Item:Q4644547"
From MaRDI portal
The following pages link to Weak arithmetical interpretations for the Logic of Proofs (Q4644547):
Displaying 11 items.
- Separations of theories in weak bounded arithmetic (Q1344280) (← links)
- Intuitionistic weak arithmetic (Q1423636) (← links)
- On arithmetical completeness of the logic of proofs (Q1625591) (← links)
- Explicit non-normal modal logic (Q2148779) (← links)
- A logic of interactive proofs (Q2151405) (← links)
- (Q3679154) (← links)
- (Q4636023) (← links)
- Justification Logics with Probability Operators (Q5024719) (← links)
- A Conflict Tolerant Logic of Explicit Evidence (Q5059694) (← links)
- Semirings of Evidence (Q5098741) (← links)
- The strength of replacement in weak arithmetic (Q5277762) (← links)