Pages that link to "Item:Q2363418"
From MaRDI portal
The following pages link to Cut-elimination for quantified conditional logic (Q2363418):
Displaying 4 items.
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Automating free logic in HOL, with an experimental application in category theory (Q2303232) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
