Subminimal logics in light of Vakarelov's logic

DOI10.1007/s11225-019-09884-zzbMath1486.03019OpenAlexW2984612608WikidataQ126843004 ScholiaQ126843004MaRDI QIDQ831220

Satoru Niki

Publication date: 11 May 2021

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

Full work available at URL: https://doi.org/10.1007/s11225-019-09884-z

zbMATH Keywords

sequent calculusKripke semanticsnegationminimal logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nelson's negation on the base of weaker versions of intuitionistic negation
• Constructivism in mathematics. An introduction. Volume I
• Subminimal negation
• Proof theory for positive logic with weak negation
• Constructible falsity

This page was built for publication: Subminimal logics in light of Vakarelov's logic