Tableaux and restricted quantification for systems related to weak Kleene logic

DOI10.1007/978-3-030-86059-2_1OpenAlexW3196491610MaRDI QIDQ2142060

Thomas Macaulay Ferguson

Publication date: 25 May 2022

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

zbMATH Keywords

analytic containmentrestricted quantifiersweak Kleene logic

Mathematics Subject Classification ID

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

Related Items (1)

Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC

Cites Work

• Angellic content
• Logics and falsifications. A new perspective on constructivist semantics
• Faulty Belnap computers and subsystems of FDE
• Formal inconsistency and evolutionary databases
• Systematization of finite many-valued logics through the method of tableaux
• Structural proof theory for first-order weak Kleene logics
• Immune Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Tableaux and restricted quantification for systems related to weak Kleene logic