On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem
type: Item
instance of: scholarly article
title: On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem
author: Yoshiki Nakamura
author: Naosuke Matsuda
published in: Studia Logica
publication date: 2021-12-27T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7450676
zbMATH Keywords: intermediate logic
zbMATH Keywords: minimal formulas
zbMATH Keywords: axiomatization
MaRDI profile type: Publication
full work available at URL: s11225-021-09955-0
OpenAlex ID: W3167051091
Wikidata QID: Q113900497
cites work: Q3077958
cites work: A propositional calculus with denumerable matrix
cites work: Contraction-free sequent calculi for intuitionistic logic
cites work: Q5585371
cites work: THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
DOI: 10.1007/S11225-021-09955-0
description: scientific article; zbMATH DE number 7450676