On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem

DOI10.1007/S11225-021-09955-0OpenAlexW3167051091WikidataQ113900497 ScholiaQ113900497MaRDI QIDQ2062200

Naosuke Matsuda, Yoshiki Nakamura

Publication date: 27 December 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-021-09955-0

zbMATH Keywords

axiomatizationintermediate logicminimal formulas

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• A propositional calculus with denumerable matrix
• Contraction-free sequent calculi for intuitionistic logic
• THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"

This page was built for publication: On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem