Pages that link to "Item:Q1697337"
From MaRDI portal
The following pages link to Proof search and co-NP completeness for many-valued logics (Q1697337):
Displaying 5 items.
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations (Q2228348) (← links)
- (Q3726086) (← links)
- On the completeness theorem for many-valued lattices (Q4005530) (← links)
- Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form (Q4558324) (← links)
- Editorial (Q5970268) (← links)