scientific article; zbMATH DE number 6008338

MaRDI QIDQ3116041zbMATH OpenFDO

Authors Mauricio Castillo, Arnold Oostra

Publication date 21 February 2012

zbMATH Keywords

algebraic semanticsdeductive systemHilbert algebrapropositional logicsemi-lattice

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other algebras related to logic (03G25) Semilattices (06A12) Structure theory of algebraic structures (08A05)

Cited in

(7)

• Combining algebraizable logics
• Algebraic aspects and coherence conditions for conjoined and disjoined conditionals
• Towards an algebraic semantics for implicatives
• Algebras with implication and fusion: a different point of view.
• Conjunctors and their residual implicators: characterizations and construction methods
• A schematic extension of IMTL-logic algebras
• scientific article; zbMATH DE number 66912 (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 Q3116041)