Subminimal logics in light of Vakarelov's logic

DOI10.1007/S11225-019-09884-ZMaRDI QIDQ831220zbMATH OpenOpenAlexWikidataFDO

Authors 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

negationKripke semanticssequent calculusminimal logic

Mathematics Subject Classification ID

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

Recommendations

• Subminimal logic and weak algebras
• A syntactical study of the subminimal logic with Nelson negation
• scientific article; zbMATH DE number 2079266
• Subminimal negation
• scientific article; zbMATH DE number 1975400

Cites work

• scientific article; zbMATH DE number 4132132 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 3024119 (Why is no real title available?)
• Constructible falsity
• Constructivism in mathematics. An introduction. Volume I
• Nelson's negation on the base of weaker versions of intuitionistic negation
• Proof theory for positive logic with weak negation
• Subminimal negation

Cited in

(5)

• A study of subminimal logics of negation and their modal companions
• scientific article; zbMATH DE number 2079266 (Why is no real title available?)
• A syntactical study of the subminimal logic with Nelson negation
• Subminimal logic and weak algebras
• A study of algebraic structures and logics based on categories of rough sets

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

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