Definitional equivalence and algebraizability of generalized logical systems

DOI10.1016/S0168-0072(98)00058-XzbMath0948.03007MaRDI QIDQ1302288

Alexej P. Pynko

Publication date: 9 March 2000

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

sentential logicquasivarietyalgebraizable logicconsequence operationequational theorysequential systemconjunctive logicquasi-equational theories

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Algebraic logic (03G99) Equational logic, Mal'tsev conditions (08B05) Quasivarieties (08C15) Abstract deductive systems (03B22) Intermediate logics (03B55)

Related Items (20)

A relative interpolation theorem for infinitary universal Horn logic and its applications ⋮ On the deductive system of the order of an equationally orderable quasivariety ⋮ Selfextensional logics with a conjunction ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Many-place sequent calculi for finitely-valued logics ⋮ Algebraizable logics with a strong conjunction and their semi-lattice based companions ⋮ Abstract algebraic logic. An introductory chapter ⋮ Intuitionistic logic is a connexive logic ⋮ The original sin of proof-theoretic semantics ⋮ AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS ⋮ Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules ⋮ Applications of Kolmogorov complexity to computable model theory ⋮ Fuzzy semantics for multiple-conclusion sequential calculi with structural rules ⋮ Nelson algebras, residuated lattices and rough sets: A survey ⋮ Subquasivarieties of implicative locally-finite quasivarieties ⋮ Constructive logic with strong negation is a substructural logic. II ⋮ Equivalence of consequence relations: an order-theoretic and categorical perspective ⋮ Correspondences between gentzen and hilbert systems ⋮ Implicational classes of De Morgan lattices ⋮ Subprevarieties versus extensions. Application to the logic of paradox

Cites Work

• The logic of paradox
• Algebraic study of Sette's maximal paraconsistent logic
• A propositional calculus with denumerable matrix
• Algebraizable logics
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Characterizing Belnap's Logic via De Morgan's Laws
• On Priest's logic of paradox
• Lattices With Involution
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Definitional equivalence and algebraizability of generalized logical systems