Pages that link to "Item:Q3781069"
From MaRDI portal
The following pages link to A constructive analysis of <b>RM</b> (Q3781069):
Displaying 10 items.
- (Q5094116) (← links)
- A Calculus for Rational Łukasiewicz Logic and Related Systems (Q5117205) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
- CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME (Q5216979) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
- Intuitionistic logic freed of all metarules (Q5444696) (← links)
- FRACTIONAL-VALUED MODAL LOGIC (Q6148465) (← links)
- Semiconic idempotent logic. I: Structure and local deduction theorems. (Q6539430) (← links)
- A propositional cirquent calculus for computability logic. (Q6661240) (← links)