On finite approximability of ?-intermediate logics

Wies?aw Dziobiak

doi:10.1007/bf00373493

On finite approximability of ?-intermediate logics

Studia Logica ◽

10.1007/bf00373493 ◽

1982 ◽

Vol 41 (1) ◽

pp. 67-73

Author(s):

Wies?aw Dziobiak

Keyword(s):

Intermediate Logics ◽

Finite Approximability

Download Full-text

On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori–Kashima Problem

Studia Logica ◽

10.1007/s11225-021-09955-0 ◽

2021 ◽

Author(s):

Yoshiki Nakamura ◽

Naosuke Matsuda

Keyword(s):

Classical Logic ◽

Counter Example ◽

Intermediate Logics

Download Full-text

Finite approximability of modular Teichm�ller groups

Siberian Mathematical Journal ◽

10.1007/bf00970175 ◽

1991 ◽

Vol 32 (1) ◽

pp. 148-150

Author(s):

N. V. Ivanov

Keyword(s):

Finite Approximability

Download Full-text

Intermediate logics preserving admissible inference rules of heyting calculus

Mathematical Logic Quarterly ◽

10.1002/malq.19930390144 ◽

1993 ◽

Vol 39 (1) ◽

pp. 403-415 ◽

Cited By ~ 3

Author(s):

Vladimir V. Rybakov

Keyword(s):

Inference Rules ◽

Intermediate Logics ◽

Admissible Inference Rules

Download Full-text

Intermediate Logics

Applied Logic Series - Goal-Directed Proof Theory ◽

10.1007/978-94-017-1713-7_3 ◽

2000 ◽

pp. 93-115

Author(s):

Dov M. Gabbay ◽

Nicola Olivetti

Keyword(s):

Intermediate Logics

Download Full-text

Hypertableau and Path-Hypertableau Calculi for some Families of Intermediate Logics

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/10722086_15 ◽

2000 ◽

pp. 160-174 ◽

Cited By ~ 3

Author(s):

Agata Ciabattoni ◽

Mauro Ferrari

Keyword(s):

Intermediate Logics

Download Full-text

Proof analysis in intermediate logics

Archive for Mathematical Logic ◽

10.1007/s00153-011-0254-7 ◽

2011 ◽

Vol 51 (1-2) ◽

pp. 71-92 ◽

Cited By ~ 39

Author(s):

Roy Dyckhoff ◽

Sara Negri

Keyword(s):

Intermediate Logics ◽

Proof Analysis

Download Full-text

HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS

The Review of Symbolic Logic ◽

10.1017/s1755020319000169 ◽

2019 ◽

Vol 13 (3) ◽

pp. 483-502 ◽

Cited By ~ 1

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.

Download Full-text