Leibniz-linked pairs of deductive systems

DOI10.1007/S11225-011-9359-6MaRDI QIDQ647411zbMATH OpenOpenAlexWikidataFDO

Authors Josep Maria Font, Ramon Jansana

Publication date 23 November 2011

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-011-9359-6

zbMATH Keywords

abstract algebraic logicLeibniz filtersLeibniz operatorprotoalgebraic logicstruth-equational logics

Mathematics Subject Classification ID

Abstract algebraic logic (03G27)

Recommendations

• Leibniz filters and the strong version of a protoalgebraic logic
• scientific article; zbMATH DE number 475183
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• Order algebraizable logics
• Willem Blok's contribution to abstract algebraic logic

Cites work

• A closer look at some subintuitionistic logics
• A survey of abstract algebraic logic
• Algebraic study of two deductive systems of relevance logic
• Algebraizable logics with a strong conjunction and their semi-lattice based companions
• Bounded distributive lattices with strict implication
• scientific article; zbMATH DE number 4055579 (Why is no real title available?)
• scientific article; zbMATH DE number 5235521 (Why is no real title available?)
• Leibniz filters and the strong version of a protoalgebraic logic
• Leibniz filters revisited
• Logics preserving degrees of truth from varieties of residuated lattices
• Note on algebraic models for relevance logic
• On semilattice-based logics with an algebraizable assertional companion
• Residuated lattices. An algebraic glimpse at substructural logics
• Selfextensional logics with a conjunction
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(4)

• The strong version of a sentential logic
• Compatibility operators in abstract algebraic logic
• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
• Leibniz filters and the strong version of a protoalgebraic logic

This page was built for publication: Leibniz-linked pairs of deductive systems

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