Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
From MaRDI portal
Publication:3605518
DOI10.1007/978-3-540-92687-0_3zbMATH Open1211.03086OpenAlexW1554312575MaRDI QIDQ3605518FDOQ3605518
Publication date: 24 February 2009
Published in: Logical Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-92687-0_3
Cut-elimination and normal-form theorems (03F05) Abstract deductive systems (03B22) Structure of proofs (03F07)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Labeled calculi and finite-valued logics
- Sequents in many valued logic I
- Non-deterministic Multiple-valued Structures
- Gentzen-type systems, resolution and tableaux
- Resolution-based theorem proving for many-valued logics
- Normal form transformations
- Canonical calculi with (n,k)-ary quantifiers
- Multi-valued Calculi for Logics Based on Non-determinism
Cited In (4)
This page was built for publication: Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3605518)