Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Elsevier

9780081007518

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Extensions and expansions of the basic logics

Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations ◽

10.1016/b978-0-08-100751-8.00008-0 ◽

2018 ◽

pp. 75-107

Author(s):

Gemma Robles ◽

José M. Méndez

Download Full-text

The basic constructive logicsRBcandRBc2

Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations ◽

10.1016/b978-0-08-100751-8.00007-9 ◽

2018 ◽

pp. 63-74

Author(s):

Gemma Robles ◽

José M. Méndez

Download Full-text

On some extensions and expansions of the basic logics

Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations ◽

10.1016/b978-0-08-100751-8.00009-2 ◽

2018 ◽

pp. 109-118

Author(s):

Gemma Robles ◽

José M. Méndez

Download Full-text

Logics definitionally equivalent to the basic constructive logics. The logicsBcSf,Bcf,BKSf, andBKf

Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations ◽

10.1016/b978-0-08-100751-8.00006-7 ◽

2018 ◽

pp. 53-62

Author(s):

Gemma Robles ◽

José M. Méndez

Keyword(s):

Constructive Logics

Download Full-text

Index

Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations ◽

10.1016/b978-0-08-100751-8.00019-5 ◽

2018 ◽

pp. 133-136

Download Full-text

Copyright

Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations ◽

10.1016/b978-0-08-100751-8.00012-2 ◽

2018 ◽

pp. iv

Download Full-text

Front Matter

Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations ◽

10.1016/b978-0-08-100751-8.00011-0 ◽

2018 ◽

pp. i-iii

Download Full-text

The basic positive logicBK+. The basic constructive logicsBKSandBK

Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations ◽

10.1016/b978-0-08-100751-8.00004-3 ◽

2018 ◽

pp. 39-50

Author(s):

Gemma Robles ◽

José M. Méndez

Download Full-text

Introduction

Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations ◽

10.1016/b978-0-08-100751-8.00016-x ◽

2018 ◽

pp. xi-xxi

Download Full-text

About the authors

Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations ◽

10.1016/b978-0-08-100751-8.00014-6 ◽

2018 ◽

pp. vii

Download Full-text