# Finite and infinite-valued logics: inference, algebra and geometry

Finite and infinite-valued logics: inference, algebra and geometry Finite and infinite-valued logics: inference, algebra and geometry Preface In recent decades there has been a veritable explosion of interest in many­ valued logics. Research has been intensively pursued on such diverse aspects of finite and infinite valued logics as proof theory, model theory, fuzzy logics, their relationship to other non-standard logics, their algebraic and geometric structure, and their applications to computer science, engineering and linguis­ tics. This volume includes eight refereed papers (by sixteen authors) in some of these fields. Although none of them is directly concerned with the applica­ tions of multi-valued logics, nonetheless they make important contributions to the ongoing interaction between applications which demand theoretical foun­ dations, and theoretical work which is inspired by technological problems. The papers are organized according to three themes. The first group ad­ dresses global properties of many-valued logical systems. In A strong complete­ ness theorem for the Gentzen systems associated with finite algebras Angel J. Gil, Jordi Rebagliato and Ventura Verdu show how to obtain strongly complete Gentzen systems for arbitrary finite algebras. Lluls Godo and Peter Hajek in Fuzzy inference as deduction show how fuzzy logic can be approached from the vantage point of multi-sorted many-valued logics; in http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Journal of Applied Non-Classical Logics Taylor & Francis

# Finite and infinite-valued logics: inference, algebra and geometry

, Volume 9 (1): 2 – Jan 1, 1999
2 pages

## Finite and infinite-valued logics: inference, algebra and geometry

Abstract

Finite and infinite-valued logics: inference, algebra and geometry Preface In recent decades there has been a veritable explosion of interest in many­ valued logics. Research has been intensively pursued on such diverse aspects of finite and infinite valued logics as proof theory, model theory, fuzzy logics, their relationship to other non-standard logics, their algebraic and geometric structure, and their applications to computer science, engineering and linguis­ tics. This volume...  /lp/taylor-francis/finite-and-infinite-valued-logics-inference-algebra-and-geometry-sivJGF8ezX
Publisher
Taylor & Francis
Copyright Taylor & Francis Group, LLC
ISSN
1958-5780
eISSN
1166-3081
DOI
10.1080/11663081.1999.10510955
Publisher site
See Article on Publisher Site

### Abstract

Finite and infinite-valued logics: inference, algebra and geometry Preface In recent decades there has been a veritable explosion of interest in many­ valued logics. Research has been intensively pursued on such diverse aspects of finite and infinite valued logics as proof theory, model theory, fuzzy logics, their relationship to other non-standard logics, their algebraic and geometric structure, and their applications to computer science, engineering and linguis­ tics. This volume includes eight refereed papers (by sixteen authors) in some of these fields. Although none of them is directly concerned with the applica­ tions of multi-valued logics, nonetheless they make important contributions to the ongoing interaction between applications which demand theoretical foun­ dations, and theoretical work which is inspired by technological problems. The papers are organized according to three themes. The first group ad­ dresses global properties of many-valued logical systems. In A strong complete­ ness theorem for the Gentzen systems associated with finite algebras Angel J. Gil, Jordi Rebagliato and Ventura Verdu show how to obtain strongly complete Gentzen systems for arbitrary finite algebras. Lluls Godo and Peter Hajek in Fuzzy inference as deduction show how fuzzy logic can be approached from the vantage point of multi-sorted many-valued logics; in

### Journal

Journal of Applied Non-Classical LogicsTaylor & Francis

Published: Jan 1, 1999