Pages that link to "Item:Q2228348"
From MaRDI portal
The following pages link to Tree-like proof systems for finitely-many valued non-deterministic consequence relations (Q2228348):
Displaying 5 items.
- Analytic tableaux for non-deterministic semantics (Q2142063) (← links)
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics (Q2144181) (← links)
- Finitely many-valued logics and natural deduction (Q5176676) (← links)
- (Q5874198) (← links)
- Tableau systems for some Ivlev-like (quantified) modal logics (Q6623948) (← links)