Hilbert-style axiomatization of first-degree entailment and a family of its extensions
type: Item
instance of: scholarly article
title: Hilbert-style axiomatization of first-degree entailment and a family of its extensions
zbMATH Open document ID: 1490.03015
author: Yaroslav Shramko
published in: Annals of Pure and Applied Logic
publication date: 2021-07-26T00:00:00Z
review text: The present paper investigates the well-known \textit{first-degree entailment logic} (FDE) in the \textsc{Fmla-Fmla}\ framework. The logic is given a Hilbert-style formulation (actually, a Fregean one -- cf. \S 1, \S2), dubbed FDE\(_{\text{H}}\). It is shown (which is not immediate) that FDE\(_{\text{H}}\) is sound and complete w.r.t. an obvious restriction to the \textsc{Fmla-Fmla} case of the standard definable consequence relation in Belnap-Dunn 4-valued semantics (BD-semantics). The author then notes that the deductive equivalence of two given proof-systems does not entail the equivalence of the set of extensions of each one of them. Next, he proceeds to prove this claim by defining the lattice of a family of extensions of FDE\(_{\text{H}}\) built up by adding to it one or more of a set of enough plausible rules absent, of course, in FDE\(_{\text{H}}\). Belnap-Dunn 4-valued type semantics are provided for the more important of these extensions. The results are compared with previous work by other authors on FDE when regarded in the \textsc{Set-Fmla} framework. In the concluding remarks to the paper it is noted that it will be worth-while to carry out the ensuing two tasks: (1) to provide similar BD-semantics for all the extensions of FDE\(_{\text{H}}\) defined in the paper (not only for the most prominent ones); (2) to provide an unified algebraic semantics for all the extensions defined, given the direct correspondence between the \textsc{Fmla-Fmla} logical framework and the one underlying ordered algebras.
reviewed by: Gemma Robles
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 7374871
zbMATH Keywords: Frege rule
zbMATH Keywords: Hilbert system
zbMATH Keywords: \textsc{Fmla-Fmla} framework
zbMATH Keywords: first-degree entailment
zbMATH Keywords: extension of logic
MaRDI profile type: Publication
full work available at URL: j.apal.2021.103011
OpenAlex ID: W3172446919
cites work: Begründung einer strengen Implikation
cites work: An algebraic view of super-Belnap logics
cites work: Q4085699
cites work: Entailment and relevance1
cites work: Q3858244
cites work: The relative efficiency of propositional proof systems
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: Positive modal logic
cites work: Partiality and its dual
cites work: Contradictory information: too much of a good thing
cites work: Q5115671
cites work: Algebraic methods in philosophical logic
cites work: Belnap's Four-Valued Logic and De Morgan Lattices
cites work: Q3093482
cites work: 40 years of FDE: an introductory overview
cites work: Nothing but the truth
cites work: Q3518425
cites work: An infinity of super-Belnap logics
cites work: First-degree entailment and its relatives
cites work: The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
cites work: Q4002149
DOI: 10.1016/J.APAL.2021.103011
Recommended article: First-degree entailment and its relatives
Recommended article: Аналитические таблицы для интуиционистского аналога FDE
Recommended article: A philosophically plausible modified Grzegorczyk semantics for first-degree intuitionistic entailment
Recommended article: Q4268411
Recommended article: Gentzen-style axiomatizations for some conservative extensions of Basic Propositional Logic
Recommended article: Axiomatizing first-order consequences in dependence logic
Recommended article: Q5883191
Recommended article: Q5869726
Recommended article: First-Degree Entailment and Structural Reasoning
Recommended article: Axiomatizing first-order consequences in independence logic
description: scientific article; zbMATH DE number 7374871