scientific article; zbMATH DE number 6440890

MaRDI QIDQ5253806zbMATH OpenFDO

Authors Sgurev Vassil

Publication date 28 May 2015

zbMATH Keywords

Boolean algebraclassic propositional logiccomplex S-logicimaginary logiclattice

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• Disjunction property and complexity of substructural logics
• Features of equivalence in the complex s-logic
• Logical operations and inference in the complex s-logic
• The disjunction property of intermediate propositional logics
• On the complexity of the disjunction property in intuitionistic and modal logics
• Propositional semantics for disjunctive logic programs
• Semantics and expressiveness of disjunctive ordered logic
• The complexity of disjunction in intuitionistic logic
• The complexity of disjunction in intuitionistic logic
• The complexity of the disjunction and existential properties in intuitionistic logic

Cited in

(5)

• A systematic review of complex fuzzy sets and logic
• Features of equivalence in the complex s-logic
• Logical operations and inference in the complex s-logic
• scientific article; zbMATH DE number 6139879 (Why is no real title available?)
• Disjunction property and complexity of substructural logics

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