Selfextensional logics with implication

MaRDI QIDQ5311056zbMATH OpenFDO

Authors Ramon Jansana

Publication date 22 August 2005

zbMATH Keywords

abstract algebraic logicHilbert algebraslogics with a deduction theorem

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Equational classes, universal algebra in model theory (03C05) Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 5316603
• Selfextensional logics with a conjunction
• Selfextensional logics with a distributive nearlattice term
• Implicative extensions of regular Kleene logics
• scientific article; zbMATH DE number 3957057
• Selfextensional logics in abstract algebraic logic: a brief survey
• Extensional Logic of Hyperintensions
• Propositional logic extended with a pedagogically useful relevant implication
• Pure strict implication logics
• Logics that define their own semantics

Cited in

(13)

• A computational glimpse at the Leibniz and Frege hierarchies
• Selfextensional logics with a distributive nearlattice term
• The normal and self-extensional extension of Dunn-Belnap logic
• Beyond Rasiowa's algebraic approach to non-classical logics
• Selfextensional logics in abstract algebraic logic: a brief survey
• An Abstract Algebraic Logic View on Judgment Aggregation
• The proof by cases property and its variants in structural consequence relations
• Self-enforcing Agreements and Forward Induction Reasoning
• Logic without self-deductibility
• Canonical extensions for congruential logics with the deduction theorem
• Obligations and permissions on selfextensional logics
• Selfextensional logics with a conjunction
• Logics with disjunction and proof by cases

This page was built for publication: Selfextensional logics with implication

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