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

DOI10.1007/978-3-540-92687-0_3MaRDI QIDQ3605518zbMATH OpenOpenAlexFDO

Authors Arnon Avron, Anna Zamansky

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)

Recommendations

• Canonical signed calculi with multi-ary quantifiers
• Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
• Cut-elimination and quantification in canonical systems
• scientific article; zbMATH DE number 1765698
• Canonical calculi with (n,k)-ary quantifiers

Cites work

• scientific article; zbMATH DE number 446843 (Why is no real title available?)
• scientific article; zbMATH DE number 1852926 (Why is no real title available?)
• scientific article; zbMATH DE number 777292 (Why is no real title available?)
• Canonical calculi with (n,k)-ary quantifiers
• Gentzen-type systems, resolution and tableaux
• Labeled calculi and finite-valued logics
• Logical non-determinism as a tool for logical modularity: an introduction
• Multi-valued Calculi for Logics Based on Non-determinism
• Non-deterministic Multiple-valued Structures
• Normal form transformations
• Resolution-based theorem proving for many-valued logics
• Sequents in many valued logic I

Cited in

(10)

• Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
• Canonical signed calculi with multi-ary quantifiers
• Multi-valued Calculi for Logics Based on Non-determinism
• scientific article; zbMATH DE number 1765698 (Why is no real title available?)
• scientific article; zbMATH DE number 2148623 (Why is no real title available?)
• Cut-elimination and quantification in canonical systems
• Analytic tableaux for non-deterministic semantics
• Studying sequent systems via non-deterministic multiple-valued matrices
• Canonical constructive systems
• 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)