Protoalgebraic logics
Protoalgebraic logics (scientific article; zbMATH DE number 4008373)
This paper presupposes familiarity with universal algebra. Fortunately, the authors are considerate of their readers by motivating the problems, carefully defining notation and concepts, and giving considerable details in proofs. The metatheory of an algebraic logic can be reduced to the equational metatheory of a class of algebras. For instance, the metatheories of the algebraic classical and intuitionistic logics are reducible to the equational metatheory of Boolean algebras and Heyting algebras. Several systems, including the non-normal modal logics, are not algebraic. The authors' goal is to extend the use of universal algebra to non-algebraic logics. So, they characterize a much broader class of logics called protoalgebraic. Universal algebra applies to the matrix models of protoalgebraic logics. They focus on the following kinds of problems. Let AF be the valid formulas on a finite matrix model M for protoalgebraic logic L. Can AF be finitely axiomatized? Does AF have only finitely many extensions? The authors show that if L is filter- distributive protoalgebraic with only finitely many inference rules the answers to both questions is 'Yes.'
- 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
- scientific article; zbMATH DE number 3591947 (Why is no real title available?)
- scientific article; zbMATH DE number 3625386 (Why is no real title available?)
- 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
- The logic of algebraic rules as a generalization of equational logic
- Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes
- Review of ``Protoalgebraic logics by J. Czelakowski
- On the universality of atomic and molecular logics via protologics
- Equivalential and algebraizable logics
- Algebraic logic
- Definability issues in universal logic
- Ordering protoalgebraic logics
- scientific article; zbMATH DE number 5910661 (Why is no real title available?)
- scientific article; zbMATH DE number 67027 (Why is no real title available?)
- scientific article; zbMATH DE number 1463146 (Why is no real title available?)
- Characterization of protoalgebraic \(k\)-deductive systems
- scientific article; zbMATH DE number 1865922 (Why is no real title available?)
- Algebraic semantics for quasi-classical modal logics
- Algebraization of logics defined by literal‐paraconsistent or literal‐paracomplete matrices
- The simplest protoalgebraic logic
- Protoalgebraic logics
- Relevant consequence relations: an invitation
- Assertional logics and the frege hierarchy
- A gentle introduction to the Leibniz hierarchy
- Janusz Czelakowski's research on the theory of matrices and its applications in the seventies and eighties of the 20th century
- Intuitionistic Sahlqvist theory for deductive systems
- Relative interpretation between 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)
