Canonical signed calculi with multi-ary quantifiers

DOI10.1016/J.APAL.2011.09.006MaRDI QIDQ408550zbMATH OpenOpenAlexFDO

Authors Anna Zamansky, Arnon Avron

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

zbMATH Keywords

proof theorycut eliminationgeneralized quantifiersnondeterministic matricessigned calculi

Mathematics Subject Classification ID

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

Recommendations

• Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
• Canonical calculi with (n,k)-ary quantifiers
• Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers
• A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics
• Cut-elimination and quantification in canonical systems

Cites work

• scientific article; zbMATH DE number 446843 (Why is no real title available?)
• scientific article; zbMATH DE number 1765698 (Why is no real title available?)
• scientific article; zbMATH DE number 777292 (Why is no real title available?)
• scientific article; zbMATH DE number 5244180 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
• Canonical calculi with (n,k)-ary quantifiers
• 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
• Tableaux for many-valued logics

Cited in

(8)

• Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers
• Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
• Generalized Non-deterministic Matrices and (n,k)-ary Quantifiers
• scientific article; zbMATH DE number 2148623 (Why is no real title available?)
• A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics
• Analytic tableaux for non-deterministic semantics
• Canonical calculi with (n,k)-ary quantifiers
• Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination

This page was built for publication: Canonical signed calculi with multi-ary quantifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q408550)