Multi-valued Calculi for Logics Based on Non-determinism (Q5703736)
From MaRDI portal
scientific article; zbMATH DE number 2226778
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Multi-valued Calculi for Logics Based on Non-determinism |
scientific article; zbMATH DE number 2226778 |
Statements
Multi-valued Calculi for Logics Based on Non-determinism (English)
0 references
8 November 2005
0 references
nondeterministic matrices
0 references
deduction systems
0 references
tableaux systems
0 references
R-S systems
0 references
\(n\)-sequents
0 references
