Pages that link to "Item:Q5277730"
From MaRDI portal
The following pages link to On the complexity of the disjunction property in intuitionistic and modal logics (Q5277730):
Displayed 5 items.
- Substitution Frege and extended Frege proof systems in non-classical logics (Q1023047) (← links)
- On the proof complexity of logics of bounded branching (Q2084964) (← links)
- New generalizations of set valued interpolative Hardy-Rogers type contractions in $b$-metric spaces (Q2228057) (← links)
- Frege systems for extensible modal logics (Q2503409) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)