scientific article; zbMATH DE number 3908413

MaRDI QIDQ3686700zbMATH OpenFDO

Authors Milan Božić

Publication date 1984

Full work available at URL https://eudml.org/doc/117903

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

axiomatizationfragment of the Heyting propositional calculusHdnintuitionistic modal logicnecessity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 700349
• Positive logics
• Double-negation elimination in some propositional logics
• The logic of conditional negation
• A hierarchy of weak double negations
• Back and Forth in Positive Logic
• Positive modal logic
• Negation and paraconsistent logics
• scientific article; zbMATH DE number 3884137
• Conceptual Structures at Work

Cited in

(4)

• Mally's deontic logic: reducibility and semantics
• scientific article; zbMATH DE number 3884137 (Why is no real title available?)
• Negation as a modality in a quantified setting
• Double negation operator in logic N^*

This page was built for publication:

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