Characteristic inference rules

DOI10.1007/s11787-015-0116-xzbMath1377.03053MaRDI QIDQ2342800

Alex Citkin

Publication date: 29 April 2015

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

Full work available at URL: https://doi.org/10.1007/s11787-015-0116-x

zbMATH Keywords

equivalential logic; partial algebra; universal class; characteristic rule; multiple-conclusion rule

Mathematics Subject Classification ID

08A55: Partial algebras

03B55: Intermediate logics

03G27: Abstract algebraic logic

Related Items

Jankov Formulas and Axiomatization Techniques for Intermediate Logics, Cofinal stable logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Residuated lattices. An algebraic glimpse at substructural logics
• Syntax and semantics of superintuitionistic logics
• Admissibility of logical inference rules
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• Admissibility via natural dualities
• On residual finiteness and finite embeddability
• The algebra of topology
• On closed elements in closure algebras
• EQUATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• Canonical rules
• Algebraizable logics
• Brouwerian Semilattices
• Rules and Derived Rules
• ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
• The decidability of certain intermediate propositional logics
• Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
• The Word Problem for Abstract Algebras