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

DOI10.1007/978-3-540-92687-0_3zbMATH Open1211.03086OpenAlexW1554312575MaRDI QIDQ3605518FDOQ3605518

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) 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)

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

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)