Equivalential and algebraizable logics

DOI10.1007/BF00370843zbMath0864.03043OpenAlexW2599657867MaRDI QIDQ2563460

Burghard Herrmann

Publication date: 12 December 1996

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

Full work available at URL: https://doi.org/10.1007/bf00370843

zbMATH Keywords

algebraizable logicsprotoalgebraic logicsmatrix semanticsequivalential logicsimplicative logics

Mathematics Subject Classification ID

Algebraic logic (03G99)

Related Items (25)

De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics ⋮ Closure properties for the class of behavioral models ⋮ AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ Fregean logics ⋮ Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties ⋮ A short overview of Hidden Logic ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ Abstract algebraic logic. An introductory chapter ⋮ The Beth property in algebraic logic ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Contextual deduction theorems ⋮ Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ Beyond Rasiowan systems: unital deductive systems ⋮ 2003 Annual Meeting of the Association for Symbolic Logic ⋮ Behavioral algebraization of logics ⋮ Update to ``A survey of abstract algebraic logic ⋮ Epimorphisms, definability and cardinalities ⋮ Correspondences between gentzen and hilbert systems ⋮ On prevarieties of logic ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE ⋮ Filter distributive logics ⋮ Weakly algebraizable logics ⋮ Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions ⋮ Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Every quotient algebra for \(C_1\) is trivial
• Local deductions theorems
• Equivalential logics. I
• \(C_ 1\) is not algebraizable
• Theory of logical calculi. Basic theory of consequence operations
• Algebraic logic for classical conjunction and disjunction
• An algebraic approach to non-classical logics
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• Implicative classes of algebras
• Note on algebraic models for relevance logic
• Algebraizable logics

This page was built for publication: Equivalential and algebraizable logics