Skip to main content
SpringerLink
Log in

On product logic

  • Original paper
  • Published:
Soft Computing Aims and scope Submit manuscript

Abstract

In this paper we prove that the class of product algebras is a variety of bounded hoops, that this variety is the equivalent algebraic semantics (in the sense of [1]) of Product logic [11] and that the only axiomatic extension of Product logic that has the Deduction–Detachment Theorem is the Classical propositional logic.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Author information

Authors and Affiliations

  1. E.U. Estudis Empresarials, Universitat de Barcelona Diagonal 696, 08034 Barcelona, Spain. E-mail: adillon@emp.ub.es, , , , , , ES

    R. J. Adillon

  2. Facultat de Matemàtiques, Universitat de Barcelona, Gran Via 585, 08007 Barcelona, Spain. E-mail: verdu@cerber.mat.ub.es, , , , , , ES

    V. Verdú

Authors
  1. R. J. Adillon
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. V. Verdú
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Adillon, R., Verdú, V. On product logic. Soft Computing 2, 141–146 (1998). https://doi.org/10.1007/s005000050046

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s005000050046

Keywords

Search

Navigation