scientific article; zbMATH DE number 1302499

MaRDI QIDQ4249029zbMATH OpenFDO

Authors Adriana Galli, Marta S. Sagastume

Publication date 9 January 2000

zbMATH Keywords

De Morgan negationKripke modelsymmetric connective

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other algebras related to logic (03G25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Recommendations

• An algebraic approach to intuitionistic connectives
• Semantic characterization of intuitionistic logical connectives
• Symmetric normalisation for intuitionistic logic
• Intuitionistic logical connectives on linear structures
• Semantic characterization of certain sets of intuitionistic logical connectives
• On compactness of logics that can express properties of symmetry or connectivity
• scientific article; zbMATH DE number 4118334
• Symmetric propositions and logical quantifiers
• Symmetric generalized Galois logics

Cited in

(4)

• Intuitionistic logical connectives on linear structures
• Directed st-Connectivity Is Not Expressible in Symmetric Datalog
• Some Operators in Kripke Models with an Involution
• scientific article; zbMATH DE number 4118334 (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 Q4249029)