Protoalgebraic logics
From MaRDI portal
DOI10.1007/BF00370269zbMATH Open0622.03020OpenAlexW4247559916MaRDI QIDQ6364601FDOQ6364601
Authors: W. J. Blok, Don Pigozzi
Publication date: 1986
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00370269
Recommendations
Cites Work
- Title not available (Why is that?)
- Matrices, primitive satisfaction and finitely based logics
- An algebraic approach to non-classical logics
- Matrix approach in methodology of sentential calculi
- Algebraizable logics
- Algebras Whose Congruence Lattices are Distributive.
- Subdirect unions in universal algebra
- Equivalential logics. I
- Filter distributive logics
- Some theorems on structural consequence operations
- Finite equational bases for finite algebras in a congruence-distributive equational class
- Title not available (Why is that?)
- Reduced products of logical matrices
- Algebraic semantics for quasi-classical modal logics
Cited In (15)
- Algebraic semantics for quasi-classical modal logics
- Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes
- Title not available (Why is that?)
- Algebraization of logics defined by literal‐paraconsistent or literal‐paracomplete matrices
- Definability issues in universal logic
- Algebraic logic
- Ordering protoalgebraic logics
- Review of ``Protoalgebraic logics by J. Czelakowski
- Protoalgebraic logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Relevant consequence relations: an invitation
- Title not available (Why is that?)
- The logic of algebraic rules as a generalization of equational logic
- Equivalential and algebraizable logics
This page was built for publication: Protoalgebraic logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6364601)