Journal of Applied Logic
Latest Publications

TOTAL DOCUMENTS

553
(FIVE YEARS 0)

H-INDEX

29
(FIVE YEARS 0)

Published By Elsevier

1570-8683
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A more general general proof theory

2017 ◽  
Vol 25 ◽  
pp. 23-46 ◽  
Author(s):  
Heinrich Wansing
Keyword(s):  
Proof Theory ◽  
General Proof

scholarly journals The never-ending recursion

2017 ◽  
Vol 25 ◽  
pp. 89-108
Author(s):  
Sergio Mota

scholarly journals On the complexity of input/output logic

2017 ◽  
Vol 25 ◽  
pp. 69-88 ◽  
Author(s):  
Xin Sun ◽  
Livio Robaldo
Keyword(s):  
Input Output

scholarly journals Reprint of: A more general general proof theory

2017 ◽  
Vol 25 ◽  
pp. S25-S47 ◽  
Author(s):  
Heinrich Wansing
Keyword(s):  
Proof Theory ◽  
General Proof

scholarly journals Assertion and denial: A contribution from logical notations

2017 ◽  
Vol 25 ◽  
pp. 1-22 ◽  
Author(s):  
Ahti-Veikko Pietarinen ◽  
Francesco Bellucci

scholarly journals On assertion and denial in the logic for pragmatics

2017 ◽  
Vol 25 ◽  
pp. S97-S107
Author(s):  
Massimiliano Carrara ◽  
Daniele Chiffi ◽  
Ciro De Florio
Load More ...
Sign in / Sign up

Export Citation Format

Share Document