Proof analysis in intermediate logics

2011 ◽  
Vol 51 (1-2) ◽  
pp. 71-92 ◽  
Author(s):  
Roy Dyckhoff ◽  
Sara Negri
Keyword(s):  
Intermediate Logics ◽  
Proof Analysis

Proof-analysis and Continuity

2006 ◽  
Vol 11 (1-2) ◽  
pp. 121-155 ◽  
Author(s):  
Michael Otte
Keyword(s):  
Proof Analysis

Proof Analysis of Peirce’s Alpha System of Graphs

Studia Logica ◽  
2016 ◽  
Vol 105 (3) ◽  
pp. 625-647 ◽  
Author(s):  
Minghui Ma ◽  
Ahti-Veikko Pietarinen
Keyword(s):  
Proof Analysis

Intermediate Logics

2000 ◽  
pp. 93-115
Author(s):  
Dov M. Gabbay ◽  
Nicola Olivetti
Keyword(s):  
Intermediate Logics

Modelling and Proof Analysis of Interrupt Driven Scheduling

2006 ◽  
pp. 155-170 ◽  
Author(s):  
Bill Stoddart ◽  
Dominique Cansell ◽  
Frank Zeyda
Keyword(s):  
Proof Analysis

HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS

2019 ◽  
Vol 13 (3) ◽  
pp. 483-502 ◽  
Author(s):  
ALEX CITKIN
Keyword(s):  
Intermediate Logics ◽  
Positive Logic ◽  
Image Position

AbstractPositive logics are $\{ \wedge , \vee , \to \}$-fragments of intermediate logics. It is clear that the positive fragment of $Int$ is not structurally complete. We give a description of all hereditarily structurally complete positive logics, while the question whether there is a structurally complete positive logic which is not hereditarily structurally complete, remains open.

Sign in / Sign up

Export Citation Format

Share Document