Showing 1–12 of 12 results for author: Middelburg, C A

The interdefinability of expansions of Belnap-Dunn logic

Authors: C. A. Middelburg

Abstract: Belnap-Dunn logic, also knows as the logic of First-Degree Entailment, is a logic that can serve as the underlying logic of theories that are inconsistent or incomplete. For various reasons, different expansions of Belnap-Dunn logic with non-classical connectives have been studied. This paper investigates the question whether those expansions are interdefinable with an expansion whose connectives… ▽ More Belnap-Dunn logic, also knows as the logic of First-Degree Entailment, is a logic that can serve as the underlying logic of theories that are inconsistent or incomplete. For various reasons, different expansions of Belnap-Dunn logic with non-classical connectives have been studied. This paper investigates the question whether those expansions are interdefinable with an expansion whose connectives include only classical connectives. Surprisingly, this relevant question is not addressed anywhere in the published studies. The notion of interdefinability of logics used is based on a general notion of definability of a connective in a logic that seems to have been forgotten. Attention is also paid to the extent to which the expansion whose connectives include only classical connectives is related to the version of classical logic with the same connectives. △ Less

Submitted 16 September, 2025; v1 submitted 7 March, 2024; originally announced March 2024.

Comments: 22 pages, revision of v3, "negation normal form" changed into "weak negation normal form", also some minor changes

MSC Class: 03B50 (Primary) 03B53 (Secondary)

A conventional expansion of first-order Belnap-Dunn logic

Authors: C. A. Middelburg

Abstract: This paper concerns an expansion of first-order Belnap-Dunn logic whose connectives and quantifiers all have a counterpart in classical logic. The language and logical consequence relation of this logic are defined, a proof system for this logic is presented, and the soundness and completeness of this proof system is established. The minor differences between the presented proof system for the def… ▽ More This paper concerns an expansion of first-order Belnap-Dunn logic whose connectives and quantifiers all have a counterpart in classical logic. The language and logical consequence relation of this logic are defined, a proof system for this logic is presented, and the soundness and completeness of this proof system is established. The minor differences between the presented proof system for the defined logic and a sound and complete proof system for the version of classical logic with the same language illustrates the close relationship between the logical consequence relations of these logics. A clear characterization of the classical nature of the connectives and quantifiers of the defined logic is given by means of classical laws of logical equivalence. Moreover, a simple embedding of this logic in classical logic is presented and the potential of the logic for dealing with inconsistencies and incompletenesses in inductive machine learning is discussed. △ Less

Submitted 16 September, 2025; v1 submitted 25 January, 2023; originally announced January 2023.

Comments: 26 pages, revision of version v6, sections on embedding of the defined logic into classical logic and potentials of the defined logic in inductive machine learning added

MSC Class: 03B50 (Primary); 03B53 (Secondary) ACM Class: F.4.1; I.2.6

A classical-logic view on a paraconsistent logic

Authors: C. A. Middelburg

Abstract: This paper is concerned with the paraconsistent first-order logic LPQ$^{\supset,\mathsf{F}}$, Priest's LPQ enriched with an implication connective and a falsity constant. A sequent-style natural deduction proof system for this logic is presented and, for this proof system, both a model-theoretic justification and a logical justification by means of an embedding into first-order classical logic is… ▽ More This paper is concerned with the paraconsistent first-order logic LPQ$^{\supset,\mathsf{F}}$, Priest's LPQ enriched with an implication connective and a falsity constant. A sequent-style natural deduction proof system for this logic is presented and, for this proof system, both a model-theoretic justification and a logical justification by means of an embedding into first-order classical logic is given. The given embedding provides in addition a classical-logic explanation of this paraconsistent logic. As a further matter, its use in decidability issues concerning this paraconsistent logic is discussed. The major properties of LPQ$^{\supset,\mathsf{F}}$ concerning its logical consequence relation and its logical equivalence relation are also treated. The paper emphasizes how closely LPQ$^{\supset,\mathsf{F}}$ is related to classical logic. △ Less

Submitted 16 September, 2025; v1 submitted 17 August, 2020; originally announced August 2020.

Comments: 21 pages, revision of v8, the phrase "negation normal form" replaced, also some minor changes

MSC Class: 03B53 (Primary) 03B10; 03B50; 03B25 (Secondary)

On the strongest three-valued paraconsistent logic contained in classical logic and its dual

Authors: C. A. Middelburg

Abstract: LP$^{\supset,\mathsf{F}}$ is a three-valued paraconsistent propositional logic which is essentially the same as J3. It has most properties that have been proposed as desirable properties of a reasonable paraconsistent propositional logic. However, it follows easily from already published results that there are exactly 8192 different three-valued paraconsistent propositional logics that have the pr… ▽ More LP$^{\supset,\mathsf{F}}$ is a three-valued paraconsistent propositional logic which is essentially the same as J3. It has most properties that have been proposed as desirable properties of a reasonable paraconsistent propositional logic. However, it follows easily from already published results that there are exactly 8192 different three-valued paraconsistent propositional logics that have the properties concerned. In this paper, properties concerning the logical equivalence relation of a logic are used to distinguish LP$^{\supset,\mathsf{F}}$ from the others. As one of the bonuses of focussing on the logical equivalence relation, it is found that only 32 of the 8192 logics have a logical equivalence relation that satisfies the identity, annihilation, idempotent, and commutative laws for conjunction and disjunction. For most properties of LP$^{\supset,\mathsf{F}}$ that have been proposed as desirable properties of a reasonable paraconsistent propositional logic, its paracomplete analogue has a comparable property. In this paper, properties concerning the logical equivalence relation of a logic are also used to distinguish the paracomplete analogue of LP$^{\supset,\mathsf{F}}$ from the other three-valued paracomplete propositional logics with those comparable properties. △ Less

Submitted 1 December, 2020; v1 submitted 11 February, 2017; originally announced February 2017.

Comments: 17 pages, version that is accepted for publication, there is some text overlap between this paper and arXiv:1508.06899 [cs.LO]

MSC Class: 03B53 (Primary) 03B50; 03B70 (Secondary)

Journal ref: Journal of Logic and Computation, 31(2):597--611, 2021

Transformation of fractions into simple fractions in divisive meadows

Authors: J. A. Bergstra, C. A. Middelburg

Abstract: Meadows are alternatives for fields with a purely equational axiomatization. At the basis of meadows lies the decision to make the multiplicative inverse operation total by imposing that the multiplicative inverse of zero is zero. Divisive meadows are meadows with the multiplicative inverse operation replaced by a division operation. Viewing a fraction as a term over the signature of divisive mead… ▽ More Meadows are alternatives for fields with a purely equational axiomatization. At the basis of meadows lies the decision to make the multiplicative inverse operation total by imposing that the multiplicative inverse of zero is zero. Divisive meadows are meadows with the multiplicative inverse operation replaced by a division operation. Viewing a fraction as a term over the signature of divisive meadows that is of the form p / q, we investigate which divisive meadows admit transformation of fractions into simple fractions, i.e. fractions without proper subterms that are fractions. △ Less

Submitted 25 February, 2016; v1 submitted 21 October, 2015; originally announced October 2015.

Comments: 23 pages; one theorem and two corollaries of it added at end of Sect. 5; some minor errors corrected

MSC Class: 12E12; 12L12; 68Q65

Journal ref: Journal of Applied Logic, 16:92--110, 2016

Division by zero in non-involutive meadows

Authors: J. A. Bergstra, C. A. Middelburg

Abstract: Meadows have been proposed as alternatives for fields with a purely equational axiomatization. At the basis of meadows lies the decision to make the multiplicative inverse operation total by imposing that the multiplicative inverse of zero is zero. Thus, the multiplicative inverse operation of a meadow is an involution. In this paper, we study `non-involutive meadows', i.e.\ variants of meadows in… ▽ More Meadows have been proposed as alternatives for fields with a purely equational axiomatization. At the basis of meadows lies the decision to make the multiplicative inverse operation total by imposing that the multiplicative inverse of zero is zero. Thus, the multiplicative inverse operation of a meadow is an involution. In this paper, we study `non-involutive meadows', i.e.\ variants of meadows in which the multiplicative inverse of zero is not zero, and pay special attention to non-involutive meadows in which the multiplicative inverse of zero is one. △ Less

Submitted 9 June, 2014; originally announced June 2014.

Comments: 14 pages

MSC Class: 12E12; 12L12; 68Q65

Journal ref: Journal of Applied Logic, 13(1):1--12, 2015

A survey of paraconsistent logics

Authors: C. A. Middelburg

Abstract: A survey of paraconsistent logics that are prominent representatives of the different approaches that have been followed to develop paraconsistent logics is provided. The paraconsistent logics that will be discussed are an enrichment of Priest's logic LP, the logic RM3 from the school of relevance logic, da Costa's logics Cn, Jaskowski's logic D2, and Subrahmanian's logics Ptau. A deontic logic ba… ▽ More A survey of paraconsistent logics that are prominent representatives of the different approaches that have been followed to develop paraconsistent logics is provided. The paraconsistent logics that will be discussed are an enrichment of Priest's logic LP, the logic RM3 from the school of relevance logic, da Costa's logics Cn, Jaskowski's logic D2, and Subrahmanian's logics Ptau. A deontic logic based on the first of these logics will be discussed as well. Moreover, some proposed adaptations of the AGM theory of belief revision to paraconsistent logics will be mentioned. △ Less

Submitted 14 November, 2017; v1 submitted 22 March, 2011; originally announced March 2011.

Comments: 20 pages; references made up-to-date; presentation of properties of enrichment of LP improved, remark added to concluding remarks

ACM Class: F.4.1

Partial Komori fields and imperative Komori fields

Authors: J. A. Bergstra, C. A. Middelburg

Abstract: This paper is concerned with the status of 1/0 and ways to deal with it. These matters are treated in the setting of Komori fields, also known as non-trivial cancellation meadows. Different viewpoints on the status of 1/0 exist in mathematics and theoretical computer science. We give a simple account of how mathematicians deal with 1/0 in which a customary convention among mathematicians plays a… ▽ More This paper is concerned with the status of 1/0 and ways to deal with it. These matters are treated in the setting of Komori fields, also known as non-trivial cancellation meadows. Different viewpoints on the status of 1/0 exist in mathematics and theoretical computer science. We give a simple account of how mathematicians deal with 1/0 in which a customary convention among mathematicians plays a prominent part, and we make plausible that a convincing account, starting from the popular computer science viewpoint that 1/0 is undefined, by means of some logic of partial functions is not attainable. △ Less

Submitted 29 September, 2009; originally announced September 2009.

Comments: 10 pages

Report number: PRG0911 MSC Class: 12E99; 12L99

Arithmetical meadows

Authors: J. A. Bergstra, C. A. Middelburg

Abstract: An inversive meadow is a commutative ring with identity equipped with a multiplicative inverse operation made total by choosing 0 as its value at 0. Previously, inversive meadows were shortly called meadows. A divisive meadow is an inversive meadows with the multiplicative inverse operation replaced by a division operation. In the spirit of Peacock's arithmetical algebra, we introduce variants of… ▽ More An inversive meadow is a commutative ring with identity equipped with a multiplicative inverse operation made total by choosing 0 as its value at 0. Previously, inversive meadows were shortly called meadows. A divisive meadow is an inversive meadows with the multiplicative inverse operation replaced by a division operation. In the spirit of Peacock's arithmetical algebra, we introduce variants of inversive and divisive meadows without an additive identity element and an additive inverse operation. We give equational axiomatizations of several classes of such variants of inversive and divisive meadows as well as of several instances of them. △ Less

Submitted 2 November, 2010; v1 submitted 11 September, 2009; originally announced September 2009.

Comments: 14 pages; sections 4 and 5 permuted

Report number: PRG0909 MSC Class: 12E12; 12E30; 12L05

Inversive Meadows and Divisive Meadows

Authors: J. A. Bergstra, C. A. Middelburg

Abstract: Inversive meadows are commutative rings with a multiplicative identity element and a total multiplicative inverse operation whose value at 0 is 0. Divisive meadows are inversive meadows with the multiplicative inverse operation replaced by a division operation. We give finite equational specifications of the class of all inversive meadows and the class of all divisive meadows. It depends on the an… ▽ More Inversive meadows are commutative rings with a multiplicative identity element and a total multiplicative inverse operation whose value at 0 is 0. Divisive meadows are inversive meadows with the multiplicative inverse operation replaced by a division operation. We give finite equational specifications of the class of all inversive meadows and the class of all divisive meadows. It depends on the angle from which they are viewed whether inversive meadows or divisive meadows must be considered more basic. We show that inversive and divisive meadows of rational numbers can be obtained as initial algebras of finite equational specifications. In the spirit of Peacock's arithmetical algebra, we study variants of inversive and divisive meadows without an additive identity element and/or an additive inverse operation. We propose simple constructions of variants of inversive and divisive meadows with a partial multiplicative inverse or division operation from inversive and divisive meadows. Divisive meadows are more basic if these variants are considered as well. We give a simple account of how mathematicians deal with 1 / 0, in which meadows and a customary convention among mathematicians play prominent parts, and we make plausible that a convincing account, starting from the popular computer science viewpoint that 1 / 0 is undefined, by means of some logic of partial functions is not attainable. △ Less

Submitted 2 November, 2010; v1 submitted 3 July, 2009; originally announced July 2009.

Comments: 18 pages; error corrected; 29 pages, combined with arXiv:0909.2088 [math.RA] and arXiv:0909.5271 [math.RA]

MSC Class: 12E12; 12L05; 12L12; 16E50; 68Q65

Journal ref: Journal of Applied Logic, 9(3):203--220, 2011

A process calculus with finitary comprehended terms

Authors: J. A. Bergstra, C. A. Middelburg

Abstract: We introduce the notion of an ACP process algebra and the notion of a meadow enriched ACP process algebra. The former notion originates from the models of the axiom system ACP. The latter notion is a simple generalization of the former notion to processes in which data are involved, the mathematical structure of data being a meadow. Moreover, for all associative operators from the signature of mea… ▽ More We introduce the notion of an ACP process algebra and the notion of a meadow enriched ACP process algebra. The former notion originates from the models of the axiom system ACP. The latter notion is a simple generalization of the former notion to processes in which data are involved, the mathematical structure of data being a meadow. Moreover, for all associative operators from the signature of meadow enriched ACP process algebras that are not of an auxiliary nature, we introduce variable-binding operators as generalizations. These variable-binding operators, which give rise to comprehended terms, have the property that they can always be eliminated. Thus, we obtain a process calculus whose terms can be interpreted in all meadow enriched ACP process algebras. Use of the variable-binding operators can have a major impact on the size of terms. △ Less

Submitted 28 March, 2013; v1 submitted 17 March, 2009; originally announced March 2009.

Comments: 25 pages, combined with arXiv:0901.3012 [math.RA]; presentation improved, mistakes in Table 5 corrected

ACM Class: D.1.3; F.1.2; F.4.1

Journal ref: Theory of Computing Systems, 53(4):645--668, 2013

Meadow enriched ACP process algebras

Authors: J. A. Bergstra, C. A. Middelburg

Abstract: We introduce the notion of an ACP process algebra. The models of the axiom system ACP are the origin of this notion. ACP process algebras have to do with processes in which no data are involved. We also introduce the notion of a meadow enriched ACP process algebra, which is a simple generalization of the notion of an ACP process algebra to processes in which data are involved. In meadow enriched… ▽ More We introduce the notion of an ACP process algebra. The models of the axiom system ACP are the origin of this notion. ACP process algebras have to do with processes in which no data are involved. We also introduce the notion of a meadow enriched ACP process algebra, which is a simple generalization of the notion of an ACP process algebra to processes in which data are involved. In meadow enriched ACP process algebras, the mathematical structure for data is a meadow. △ Less

Submitted 4 February, 2009; v1 submitted 20 January, 2009; originally announced January 2009.

Comments: 8 pages; correction in Table 3

Report number: PRG0902