# BL (logic)

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2011

2011

- Arch. Math. Log.
- 2011

In the field of many-valued logics, Hájek’s Basic Logic BL was introduced in Hájek (Metamathematics of fuzzy logic, trends in… (More)

Is this relevant?

2006

2006

- Fuzzy Sets and Systems
- 2006

Abstract We show a complete axiomatization of unary connectives interpreted by monotone and superdiagonal truth functions, so… (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- Soft Comput.
- 2006

In this paper we introduce some types of filters in a BL algebra A, and we state and prove some theorems which determine the… (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- 2003

Abstract The aim of this paper is to lay down some facts and techniques that are useful in order to describe the lattice of… (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- Arch. Math. Log.
- 2001

Abstract.BL-algebras rise as Lindenbaum algebras from many valued logic introduced by Hájek [2]. In this paper Boolean ds and… (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- Soft Comput.
- 2000

Abstract In this paper we prove that Basic Logic (BL) is complete w.r.t. the continuous t-norms on [0, 1], solving the open… (More)

Is this relevant?

Highly Cited

1998

Highly Cited

1998

- Soft Comput.
- 1998

Abstract The many-valued propositional logic BL (basic fuzzy logic) is investigated. It is known to be complete for tautologies… (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- 1996

Preface. 1. Introduction. A Bit of History. The Java Virtual Machine. Summary of Chapters. Notation. 2. Java Programming Language… (More)

Is this relevant?

Highly Cited

1992

Highly Cited

1992

- 1992

Procedures to define boundary conditions for Navier-Stokes equations are discussed. A new formulation using characteristic wave… (More)

Is this relevant?

Highly Cited

1976

Highly Cited

1976

- 1976

In this paper we draw on recent progress in the theory of (1) property rights, (2) agency, and (3) finance to develop a theory of… (More)

Is this relevant?