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

DOI10.12775/llp.2022.025zbMath1530.03106arXiv2105.15160OpenAlexW3171570572MaRDI QIDQ6107288

Richard Zach

Publication date: 3 July 2023

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2105.15160

zbMATH Keywords

many-valued logictableau calculusanalytic containmentcomputational algebramatrix congruence

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites Work

• Angellic content
• Computing congruences efficiently
• Theory of logical calculi. Basic theory of consequence operations
• Optimal axiomatizations of finitely valued logics
• Tableaux and restricted quantification for systems related to weak Kleene logic
• Faulty Belnap computers and subsystems of FDE
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC