Pages that link to "Item:Q1820766"
From MaRDI portal
The following pages link to Pseudo two-valued evaluation method for intermediate logics (Q1820766):
Displayed 5 items.
- Gentzen-type formulation of the propositional logic LQ (Q1111545) (← links)
- The simple substitution property of the intermediate propositional logics on finite slices (Q1208115) (← links)
- The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s (Q1814180) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
- For Want of an ‘And’: A Puzzle about Non-Conservative Extension (Q5317773) (← links)