Canonical signed calculi with multi-ary quantifiers

DOI10.1016/J.APAL.2011.09.006zbMATH Open1254.03111OpenAlexW2094292373MaRDI QIDQ408550FDOQ408550

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

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

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)

Cites Work

• Labeled calculi and finite-valued logics
• Title not available (Why is that?)
• Sequents in many valued logic I
• Title not available (Why is that?)
• Non-deterministic Multiple-valued Structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Resolution-based theorem proving for many-valued logics
• Normal form transformations
• Tableaux for many-valued logics
• Logical non-determinism as a tool for logical modularity: an introduction
• Canonical calculi with (n,k)-ary quantifiers
• Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
• Title not available (Why is that?)
• Multi-valued Calculi for Logics Based on Non-determinism

Cited In (8)

• Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
• Generalized Non-deterministic Matrices and (n,k)-ary Quantifiers
• Title not available (Why is that?)
• 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
• Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers

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)