Outstanding Contributions to Logic - Hiroakira Ono on Substructural Logics
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 10)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030769192, 9783030769208

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Recognizability in Residuated Lattices

Outstanding Contributions to Logic - Hiroakira Ono on Substructural Logics ◽

10.1007/978-3-030-76920-8_6 ◽

2021 ◽

pp. 245-271

Author(s):

José Gil-Férez ◽

Constantine Tsinakis

Keyword(s):

Residuated Lattices

Download Full-text

Finite Embeddability Property for Residuated Lattices via Regular Languages

Outstanding Contributions to Logic - Hiroakira Ono on Substructural Logics ◽

10.1007/978-3-030-76920-8_7 ◽

2021 ◽

pp. 273-298

Author(s):

Rostislav Horčík

Keyword(s):

Residuated Lattices ◽

Regular Languages ◽

Finite Embeddability Property

Download Full-text

An Algebraic Glimpse at Bunched Implications and Separation Logic

Outstanding Contributions to Logic - Hiroakira Ono on Substructural Logics ◽

10.1007/978-3-030-76920-8_5 ◽

2021 ◽

pp. 185-242

Author(s):

Peter Jipsen ◽

Tadeusz Litak

Keyword(s):

Separation Logic

Download Full-text

Cover Systems for the Modalities of Linear Logic

Outstanding Contributions to Logic - Hiroakira Ono on Substructural Logics ◽

10.1007/978-3-030-76920-8_8 ◽

2021 ◽

pp. 299-318

Author(s):

Robert Goldblatt

Keyword(s):

Linear Logic ◽

Download Full-text

A Scientific Autobiography

Outstanding Contributions to Logic - Hiroakira Ono on Substructural Logics ◽

10.1007/978-3-030-76920-8_1 ◽

2021 ◽

pp. 1-23

Author(s):

Hiroakira Ono

Download Full-text

Topological Duality and Algebraic Completions

Outstanding Contributions to Logic - Hiroakira Ono on Substructural Logics ◽

10.1007/978-3-030-76920-8_4 ◽

2021 ◽

pp. 143-184

Author(s):

Mai Gehrke

Keyword(s):

Topological Duality

Download Full-text

Conservative Expansions of Substructural Logics

Outstanding Contributions to Logic - Hiroakira Ono on Substructural Logics ◽

10.1007/978-3-030-76920-8_10 ◽

2021 ◽

pp. 339-368

Author(s):

Jacopo Amidei ◽

Rodolfo C. Ertola-Biraben ◽

Franco Montagna

Keyword(s):

Substructural Logics

Download Full-text

A Negative Solution to Ono’s Problem P52: Existence and Disjunction Properties in Intermediate Predicate Logics

Outstanding Contributions to Logic - Hiroakira Ono on Substructural Logics ◽

10.1007/978-3-030-76920-8_9 ◽

2021 ◽

pp. 319-337

Author(s):

Nobu-Yuki Suzuki

Keyword(s):

Negative Solution ◽

Intermediate Predicate Logics

Download Full-text

Abstract Algebraic Logic

Outstanding Contributions to Logic - Hiroakira Ono on Substructural Logics ◽

10.1007/978-3-030-76920-8_3 ◽

2021 ◽

pp. 71-142

Author(s):

Josep Maria Font

Keyword(s):

Algebraic Logic ◽

Abstract Algebraic Logic

Download Full-text

Universal Algebraic Methods for Non-classical Logics

Outstanding Contributions to Logic - Hiroakira Ono on Substructural Logics ◽

10.1007/978-3-030-76920-8_2 ◽

2021 ◽

pp. 27-70

Author(s):

James G. Raftery

Keyword(s):

Algebraic Methods

Download Full-text