Outstanding Contributions to Logic - Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 14)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030712570, 9783030712587

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Geometric Rules in Infinitary Logic

Outstanding Contributions to Logic - Arnon Avron on Semantics and Proof Theory of Non-Classical Logics ◽

10.1007/978-3-030-71258-7_12 ◽

2021 ◽

pp. 265-293

Author(s):

Sara Negri

Keyword(s):

Infinitary Logic

Download Full-text

Consequence Relations with Real Truth Values

Outstanding Contributions to Logic - Arnon Avron on Semantics and Proof Theory of Non-Classical Logics ◽

10.1007/978-3-030-71258-7_11 ◽

2021 ◽

pp. 249-264

Author(s):

Daniele Mundici

Keyword(s):

Consequence Relations ◽

Truth Values ◽

Real Truth

Download Full-text

What Is Negation in a System 2020?

Outstanding Contributions to Logic - Arnon Avron on Semantics and Proof Theory of Non-Classical Logics ◽

10.1007/978-3-030-71258-7_9 ◽

2021 ◽

pp. 193-221

Author(s):

Dov M. Gabbay

Download Full-text

Interpretations of Weak Positive Modal Logics

Outstanding Contributions to Logic - Arnon Avron on Semantics and Proof Theory of Non-Classical Logics ◽

10.1007/978-3-030-71258-7_2 ◽

2021 ◽

pp. 13-38

Author(s):

Katalin Bimbó

Keyword(s):

Modal Logics

Download Full-text

Relevance Domains and the Philosophy of Science

Outstanding Contributions to Logic - Arnon Avron on Semantics and Proof Theory of Non-Classical Logics ◽

10.1007/978-3-030-71258-7_10 ◽

2021 ◽

pp. 223-247

Author(s):

Edwin Mares

Keyword(s):

Philosophy Of Science

Download Full-text

R-Mingle is Nice, and so is Arnon Avron

Outstanding Contributions to Logic - Arnon Avron on Semantics and Proof Theory of Non-Classical Logics ◽

10.1007/978-3-030-71258-7_7 ◽

2021 ◽

pp. 141-165

Author(s):

J. Michael Dunn

Download Full-text

On Axioms and Rexpansions

Outstanding Contributions to Logic - Arnon Avron on Semantics and Proof Theory of Non-Classical Logics ◽

10.1007/978-3-030-71258-7_3 ◽

2021 ◽

pp. 39-69

Author(s):

Carlos Caleiro ◽

Sérgio Marcelino

Download Full-text

Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)

Outstanding Contributions to Logic - Arnon Avron on Semantics and Proof Theory of Non-Classical Logics ◽

10.1007/978-3-030-71258-7_1 ◽

2021 ◽

pp. 1-11

Author(s):

Ofer Arieli ◽

Anna Zamansky

Keyword(s):

Proof Theory

Download Full-text

Credal Calculi, Evidence, and Consistency

Outstanding Contributions to Logic - Arnon Avron on Semantics and Proof Theory of Non-Classical Logics ◽

10.1007/978-3-030-71258-7_4 ◽

2021 ◽

pp. 71-90

Author(s):

Walter Carnielli ◽

Juliana Bueno-Soler

Download Full-text

Connexive Variants of Modal Logics Over FDE

Outstanding Contributions to Logic - Arnon Avron on Semantics and Proof Theory of Non-Classical Logics ◽

10.1007/978-3-030-71258-7_13 ◽

2021 ◽

pp. 295-318

Author(s):

Sergei Odintsov ◽

Daniel Skurt ◽

Heinrich Wansing

Keyword(s):

Modal Logics

Download Full-text

Outstanding Contributions to Logic - Arnon Avron on Semantics and Proof Theory of Non-Classical LogicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Geometric Rules in Infinitary Logic

Consequence Relations with Real Truth Values

What Is Negation in a System 2020?

Interpretations of Weak Positive Modal Logics

Relevance Domains and the Philosophy of Science

R-Mingle is Nice, and so is Arnon Avron

On Axioms and Rexpansions

Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)

Credal Calculi, Evidence, and Consistency

Connexive Variants of Modal Logics Over FDE

Outstanding Contributions to Logic - Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
Latest Publications