Protoalgebraic logics
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3591947 (Why is no real title available?)
- scientific article; zbMATH DE number 3625386 (Why is no real title available?)
- Algebraic semantics for quasi-classical modal logics
- Algebraizable logics
- Algebras Whose Congruence Lattices are Distributive.
- An algebraic approach to non-classical logics
- Equivalential logics. I
- Filter distributive logics
- Finite equational bases for finite algebras in a congruence-distributive equational class
- Matrices, primitive satisfaction and finitely based logics
- Matrix approach in methodology of sentential calculi
- Reduced products of logical matrices
- Some theorems on structural consequence operations
- Subdirect unions in universal algebra
Cited in
(17)- scientific article; zbMATH DE number 1463146 (Why is no real title available?)
- The logic of algebraic rules as a generalization of equational logic
- Definability issues in universal logic
- Ordering protoalgebraic logics
- Review of ``Protoalgebraic logics by J. Czelakowski
- scientific article; zbMATH DE number 67027 (Why is no real title available?)
- Algebraic logic
- Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes
- Algebraization of logics defined by literal‐paraconsistent or literal‐paracomplete matrices
- The simplest protoalgebraic logic
- scientific article; zbMATH DE number 1865922 (Why is no real title available?)
- Relevant consequence relations: an invitation
- Algebraic semantics for quasi-classical modal logics
- Protoalgebraic logics
- Equivalential and algebraizable logics
- Characterization of protoalgebraic \(k\)-deductive systems
- scientific article; zbMATH DE number 5910661 (Why is no real title available?)
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)
