Applied Logic Series - Proof Theory for Fuzzy Logics
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer Netherlands

9781402094088, 9781402094095
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Hilbert Systems

2009 ◽  
pp. 37-66
Author(s):  
George Metcalfe ◽  
Nicola Olivetti ◽  
Dov Gabbay

The Semantic Basis

2009 ◽  
pp. 7-35
Author(s):  
George Metcalfe ◽  
Nicola Olivetti ◽  
Dov Gabbay

Gentzen Systems

2009 ◽  
pp. 67-100
Author(s):  
George Metcalfe ◽  
Nicola Olivetti ◽  
Dov Gabbay
Keyword(s):  
Gentzen Systems

Introduction

2008 ◽  
pp. 1-6
Author(s):  
George Metcalfe ◽  
Nicola Olivetti ◽  
Dov Gabbay

Syntactic Eliminations

2008 ◽  
pp. 101-135
Author(s):  
George Metcalfe ◽  
Nicola Olivetti ◽  
Dov Gabbay

Fundamental Logics

2008 ◽  
pp. 137-175 ◽  
Author(s):  
George Metcalfe ◽  
Nicola Olivetti ◽  
Dov Gabbay

Further Topics

2008 ◽  
pp. 229-258
Author(s):  
George Metcalfe ◽  
Nicola Olivetti ◽  
Dov Gabbay

First-Order Logics

2008 ◽  
pp. 201-228
Author(s):  
George Metcalfe ◽  
Nicola Olivetti ◽  
Dov Gabbay
Keyword(s):  
First Order

Uniformity and Efficiency

2008 ◽  
pp. 177-199
Author(s):  
George Metcalfe ◽  
Nicola Olivetti ◽  
Dov Gabbay
Load More ...
Sign in / Sign up

Export Citation Format

Share Document