Canonical calculi with (n,k)-ary quantifiers

DOI10.2168/LMCS-4(3:2)2008MaRDI QIDQ3535607zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

coherencecut eliminationmatrix semanticscanonical Gentzen-type systems

Mathematics Subject Classification ID

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)

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

Cited in

(12)

• Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers
• Quasi-canonical systems and their semantics
• Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
• Canonical signed calculi with multi-ary quantifiers
• scientific article; zbMATH DE number 1765698 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 492836 (Why is no real title available?)
• 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

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)