Minimal systems

DOI10.1002/MALQ.19900360507zbMATH Open0723.03001OpenAlexW4250690720MaRDI QIDQ3211278FDOQ3211278

Authors: Teodor Stȩpień 

Publication date: 1990

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19900360507

Recommendations

• Extensions of the minimal logic and the interpolation problem
• scientific article; zbMATH DE number 4182873
• Interpolation over the minimal logic and Odintsov intervals
• Maximality of the minimal \(\mathcal R\)-logic
• WIP-minimal logics and interpolation

zbMATH Keywords

minimal systems

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (2)

• Title not available (Why is that?)
• Small Depth Proof Systems

This page was built for publication: Minimal systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3211278)