Analytic tableaux for non-deterministic semantics

DOI10.1007/978-3-030-86059-2_3OpenAlexW3198316942MaRDI QIDQ2142063

Lukas Grätz

Publication date: 25 May 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-86059-2_3

zbMATH Keywords

tableauxnon-deterministic semanticssigned logicDNF representationsets as signs

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Canonical signed calculi with multi-ary quantifiers
• Substructural logics: a primer
• Tree-like proof systems for finitely-many valued non-deterministic consequence relations
• Finite-valued semantics for canonical labelled calculi
• On matrices, Nmatrices and games
• Non-deterministic Multiple-valued Structures
• Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
• Systematization of finite many-valued logics through the method of tableaux
• Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus
• The Taming of the Cut. Classical Refutations with Analytic Cut
• Modal logic with non-deterministic semantics: Part I—Propositional case
• Sequents in many valued logic I
• A System for Strict Implication
• Multi-valued Calculi for Logics Based on Non-determinism

This page was built for publication: Analytic tableaux for non-deterministic semantics