scientific article; zbMATH DE number 4118334

MaRDI QIDQ4732441zbMATH OpenFDO

Authors Aleksandr D. Yashin

Publication date 1989

zbMATH Keywords

intuitionistic connectivenecessity operator

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Semantic characterization of intuitionistic logical connectives
• Nonstandard connectives of intuitionistic propositional logic
• scientific article; zbMATH DE number 1302499
• Intuitionistic logical connectives on linear structures
• scientific article; zbMATH DE number 975276

Cited in

(8)

• Intuitionistic logical connectives on linear structures
• Semantic characterization of intuitionistic logical connectives
• scientific article; zbMATH DE number 997666 (Why is no real title available?)
• Simple characterization of functionally complete one-element sets of propositional connectives
• Common Logic of 2‐Valued Semigroup Connectives
• scientific article; zbMATH DE number 1302499 (Why is no real title available?)
• scientific article; zbMATH DE number 6290320 (Why is no real title available?)
• scientific article; zbMATH DE number 5039823 (Why is no real title available?)

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 Q4732441)