Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination

DOI10.1007/978-3-540-92687-0_3zbMath1211.03086OpenAlexW1554312575MaRDI QIDQ3605518

Anna Zamansky, Arnon Avron

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

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Abstract deductive systems (03B22)

Related Items

Analytic tableaux for non-deterministic semantics ⋮ Canonical signed calculi with multi-ary quantifiers ⋮ Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism ⋮ Finite-valued semantics for canonical labelled calculi

Cites Work

• Gentzen-type systems, resolution and tableaux
• 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
• 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

This page was built for publication: Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination