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

Logic and Logical Philosophy 32 (2):161-179 (2023)
  Copy   BIBTEX

Abstract

Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.

Categories

Keywords

Reprint years

DOI

10.12775/llp.2022.025

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Simple Logical Matrix and Sequent Calculus for Parry’s Logic of Analytic Implication.Damian E. Szmuc - 2021 - Studia Logica 109 (4):791-828.
A Simple Sequent Calculus for Angell’s Logic of Analytic Containment.Rohan French - 2017 - Studia Logica 105 (5):971-994.
Faulty Belnap Computers and Subsystems of FDE.Thomas Macaulay Ferguson - 2016 - Journal of Logic and Computation 26 (5):1617–1636.
Semantics for analytic containment.Fabrice Correia - 2004 - Studia Logica 77 (1):87-104.
Another proof of Wojtylak's theorem.Jacek Hawranek & Jan Zygmunt - 1981 - Bulletin of the Section of Logic 10 (2):80-81.
Analytic Tableaux for all of SIXTEEN 3.Stefan Wintein & Reinhard Muskens - 2015 - Journal of Philosophical Logic 44 (5):473-487.
Correia Semantics Revisited.Thomas Macaulay Ferguson - 2016 - Studia Logica 104 (1):145-173.
Deducibility, Entailment and Analytic Containment.Richard Bradshaw Angell - 1989 - In Jean Norman & Richard Sylvan (eds.), Directions in Relevant Logic. Kluwer Academic Publishers. pp. 119-143.
Angellic Content.Kit Fine - 2016 - Journal of Philosophical Logic 45 (2):199-226.
Homomorphism reductions on Polish groups.Konstantinos A. Beros - 2018 - Archive for Mathematical Logic 57 (7-8):795-807.
Sextus Empiricus' Fourth Conditional and Containment Logic.Yale Weiss - 2019 - History and Philosophy of Logic 40 (4):307-322.
Relativised Homomorphism Preservation at the Finite Level.Lucy Ham - 2017 - Studia Logica 105 (4):761-786.
Varieties of misrepresentation and homomorphism.Francesca Pero & Mauricio Suárez - 2016 - European Journal for Philosophy of Science 6 (1):71-90.
Every Two-valuated Propositional Calculus Has The Interpolation Property.Zdzislaw Dywan & Teodor Stepien - 1980 - Bulletin of the Section of Logic 9 (4):152-153.
Paraconsistency and Analyticity.Carlos A. OLLER - 1999 - Logic and Logical Philosophy 7 (1):91-99.

Analytics

Added to PP
2021-06-01

Downloads
345 (#56,129)

6 months
118 (#30,298)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richard Zach
University of Calgary

Citations of this work

First-Degree Entailment and Truthmaker Functions.Roderick Batchelor - 2024 - Journal of Philosophical Logic 53 (2):373-390.

Add more citations

References found in this work

Angellic Content.Kit Fine - 2016 - Journal of Philosophical Logic 45 (2):199-226.
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.
Faulty Belnap Computers and Subsystems of FDE.Thomas Macaulay Ferguson - 2016 - Journal of Logic and Computation 26 (5):1617–1636.
Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien

View all 15 references / Add more references