On the deductive system of the order of an equationally orderable quasivariety

DOI10.1007/s11225-016-9650-7zbMath1370.03084OpenAlexW2340433780MaRDI QIDQ295923

Ramon Jansana

Publication date: 14 June 2016

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-016-9650-7

zbMATH Keywords

abstract algebraic logicHilbert-based logicsimplicative algebraslogics given by an orderlogics preserving degrees of truthself-extensional logicssemilattice-based logics

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract algebraic logic (03G27)

Related Items (1)

Countably many weakenings of Belnap-Dunn logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Canonical extensions for congruential logics with the deduction theorem
• Selfextensional logics with a conjunction
• Taking degrees of truth seriously
• Theory of logical calculi. Basic theory of consequence operations
• Algebraic logic for classical conjunction and disjunction
• An algebraic approach to non-classical logics
• Definitional equivalence and algebraizability of generalized logical systems
• A new semantics for positive modal logic
• A closer look at some subintuitionistic logics
• A survey of abstract algebraic logic
• The Suszko operator. I
• Algebraic study of two deductive systems of relevance logic
• Positive modal logic
• Order algebraizable logics
• Algebras defined from ordered sets and the varieties they generate
• Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
• Protoalgebraic logics

This page was built for publication: On the deductive system of the order of an equationally orderable quasivariety