Pages that link to "Item:Q4577994"
From MaRDI portal
The following pages link to MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY (Q4577994):
Displaying 3 items.
- Non-deterministic logic of informal provability has no finite characterization (Q2071578) (← links)
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics (Q2144181) (← links)
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations (Q2228348) (← links)
