Equivalential and algebraizable logics
The author investigates the process of algebraization of the so-called equivalential and finitely equivalential logics. His approach is based on matrix semantics. In the paper, a logic need not be finitary (i.e., have only finitary rules). As to algebraizability, the author distinguishes between finitely algebraizable logics (i.e. those admitting a finite set of equivalence formulas; finitary finitely algebraizable logics are precisely the logics algebraizable in the sense of \textit{W. J. Blok} and \textit{D. Pigozzi} [Algebraizable logics, Mem. Am. Math. Soc. 396 (1989; Zbl 0664.03042)]) and possibly infinitely algebraizable, or p.i.-algebraizable, ones. The main result of the paper states that a logic is finitely algebraizable (p.i.-algebraizable) iff it is finitely equivalential (resp., equivalential) and the truth predicate in the reduced matrix models is equivalentially definable. The paper contains the necessary background on equivalential and algebraizable logics. A natural example of an infinitary logic that is p.i.-algebraizable but not finitary algebraizable is presented, and known examples of nonfinitary finitely algebraizable logics are reminded.
- scientific article; zbMATH DE number 465608
- scientific article; zbMATH DE number 554983
- Filter distributive logics
- Algebraizable logics
- A note on R\(\rightarrow\) matrices
- Protoalgebraic logics
- Characterizing equivalential and algebraizable logics by the Leibniz operator
- scientific article; zbMATH DE number 5025799
- scientific article; zbMATH DE number 945663
- On the complexity of the Leibniz hierarchy
- \(C_ 1\) is not algebraizable
- Algebraic logic for classical conjunction and disjunction
- Algebraizable logics
- An algebraic approach to non-classical logics
- Characterizing equivalential and algebraizable logics by the Leibniz operator
- Equivalential logics. I
- Every quotient algebra for \(C_1\) is trivial
- scientific article; zbMATH DE number 139647 (Why is no real title available?)
- scientific article; zbMATH DE number 859792 (Why is no real title available?)
- scientific article; zbMATH DE number 914167 (Why is no real title available?)
- Implicative classes of algebras
- Local deductions theorems
- Note on algebraic models for relevance logic
- Theory of logical calculi. Basic theory of consequence operations
- Behavioral algebraization of logics
- Update to ``A survey of abstract algebraic logic
- Filter distributive logics
- Definitional equivalence and algebraizability of generalized logical systems
- On elementary equivalence for equality-free logic
- Characterizing equivalential and algebraizable logics by the Leibniz operator
- Duality for lattice-ordered algebras and for normal algebraizable logics
- On definability of the equality in classes of algebras with an equivalence relation
- Combining algebraizable logics
- The poset of all logics. III: Finitely presentable logics
- Beyond Rasiowan systems: unital deductive systems
- Epimorphisms, definability and cardinalities
- On prevarieties of logic
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
- Closure properties for the class of behavioral models
- The Beth property in algebraic logic
- On the closure properties of the class of full G-models of a deductive system
- Komori identities in algebraic logic
- EQ-logics with delta connective
- Correspondences between gentzen and hilbert systems
- Algebraization of Non-structural Logics
- Infinitary Equilibrium Logic and Strong Equivalence
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- A non-finitary sentential logic that is elementarily algebraizable
- scientific article; zbMATH DE number 4012571 (Why is no real title available?)
- Algebraizable logics
- scientific article; zbMATH DE number 465608 (Why is no real title available?)
- scientific article; zbMATH DE number 554983 (Why is no real title available?)
- scientific article; zbMATH DE number 1961528 (Why is no real title available?)
- Weakly algebraizable logics
- A study of truth predicates in matrix semantics
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
- A short overview of hidden logic
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
- On everywhere strongly logifiable algebras
- 2003 Annual Meeting of the Association for Symbolic Logic
- scientific article; zbMATH DE number 754436 (Why is no real title available?)
- scientific article; zbMATH DE number 1858070 (Why is no real title available?)
- scientific article; zbMATH DE number 2108193 (Why is no real title available?)
- scientific article; zbMATH DE number 859792 (Why is no real title available?)
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
- Algebraization of logics defined by literal‐paraconsistent or literal‐paracomplete matrices
- An example of a new kind of algebraizability
- scientific article; zbMATH DE number 3323811 (Why is no real title available?)
- On neat reducts of algebras of logic
- Fregean logics
- Abstract algebraic logic. An introductory chapter
- Protoalgebraic logics
- Contextual deduction theorems
- Non-Fregean world of logics
- Categorical abstract algebraic logic: (,N)-algebraic systems
- De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties
This page was built for publication: Equivalential and algebraizable logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2563460)
