Canonical calculi with (n,k)-ary quantifiers
DOI10.2168/LMCS-4(3:2)2008zbMATH Open1151.03028OpenAlexW3102748092MaRDI QIDQ3535607FDOQ3535607
Authors: Arnon Avron, Anna Zamansky 
Publication date: 13 November 2008
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2168/lmcs-4(3:2)2008
Recommendations
- Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers
- A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics
- Generalized Non-deterministic Matrices and (n,k)-ary Quantifiers
- Cut-elimination and quantification in canonical systems
- Canonical signed calculi with multi-ary quantifiers
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic with extra quantifiers and operators (03C80) Cut-elimination and normal-form theorems (03F05)
Cited In (12)
- Quasi-canonical systems and their semantics
- Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
- Canonical signed calculi with multi-ary quantifiers
- Title not available (Why is that?)
- Generalized Non-deterministic Matrices and (n,k)-ary Quantifiers
- Cut-elimination and quantification in canonical systems
- A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics
- Title not available (Why is that?)
- A cut-free calculus for second-order Gödel logic
- First-order quasi-canonical proof systems
- 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 calculi with (n,k)-ary quantifiers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3535607)
