Canonical signed calculi with multi-ary quantifiers
From MaRDI portal
(Redirected from Publication:408550)
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)