Generalized Non-deterministic Matrices and (n,k)-ary Quantifiers

DOI10.1007/978-3-540-72734-7_3MaRDI QIDQ5434496zbMATH OpenOpenAlexFDO

Authors Arnon Avron, Anna Zamansky

Publication date 4 January 2008

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-72734-7_3

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Canonical calculi with (n,k)-ary quantifiers
• A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics
• Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers
• Canonical signed calculi with multi-ary quantifiers
• scientific article; zbMATH DE number 1765698

Cited in

(5)

• Polynomial ring calculus for modal logics: a new semantics and proof method for modalities
• A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics
• Canonical calculi with (n,k)-ary quantifiers
• scientific article; zbMATH DE number 5713234 (Why is no real title available?)
• REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS

This page was built for publication: Generalized Non-deterministic Matrices and (n,k)-ary Quantifiers

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