Green Journals

Editorial Board

2017-12 Vol. 25 Pages iii-vi

DOI: 10.1016/s1570-8683(17)30056-3

A more general general proof theory

Heinrich Wansing

2017-12 Vol. 25 Pages 23-46

DOI: 10.1016/j.jal.2017.01.002

On the complexity of input/output logic

Xin Sun, Livio Robaldo

2017-12 Vol. 25 Pages 69-88

DOI: 10.1016/j.jal.2017.03.002

The never-ending recursion

Sergio Mota

2017-12 Vol. 25 Pages 89-108

DOI: 10.1016/j.jal.2017.03.003

Reprint of: Assertion and denial: A contribution from logical notations

Ahti-Veikko Pietarinen, Francesco Bellucci

2017-12 Vol. 25 Pages S3-S24

DOI: 10.1016/j.jal.2017.12.002

Reprint of: A more general general proof theory

Heinrich Wansing

2017-12 Vol. 25 Pages S25-S47

DOI: 10.1016/j.jal.2017.12.003

On assertion and denial in the logic for pragmatics

Massimiliano Carrara, Daniele Chiffi, Ciro De Florio

2017-12 Vol. 25 Pages S97-S107

DOI: 10.1016/j.jal.2017.11.002

Iterated privation and positive predication

Bjørn Jespersen, Massimiliano Carrara, Marie Duží

2017-12 Vol. 25 Pages S48-S71

DOI: 10.1016/j.jal.2017.12.004

Logical Investigations on Assertion and Denial

Massimiliano Carrara, Daniele Chiffi, Ciro De Florio

2017-12 Vol. 25 Pages S1-S2

DOI: 10.1016/j.jal.2017.11.003

Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications

Khaza Anuarul Hoque, Otmane Ait Mohamed, Yvon Savaria

2017-12 Vol. 25 Pages 47-68

DOI: 10.1016/j.jal.2017.03.001

Year	A	B
2026
2025		✓
2024		✓
2023		✓
2021/2022		✓
2020		✓
2019		✓
2018	✓

Journal Report

Journal Information

Classification History

Recent Articles