Canonical signed calculi with multi-ary quantifiers
From MaRDI portal
Publication:408550
DOI10.1016/j.apal.2011.09.006zbMath1254.03111MaRDI QIDQ408550
Publication date: 10 April 2012
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2011.09.006
03F05: Cut-elimination and normal-form theorems
03F07: Structure of proofs
03B22: Abstract deductive systems
Related Items
Cites Work
- Labeled calculi and finite-valued logics
- Resolution-based theorem proving for many-valued logics
- Non-deterministic Multiple-valued Structures
- Canonical calculi with (n,k)-ary quantifiers
- Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
- Sequents in many valued logic I
- Multi-valued Calculi for Logics Based on Non-determinism
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item