Definitional equivalence and algebraizability of generalized logical systems

DOI10.1016/S0168-0072(98)00058-XMaRDI QIDQ1302288zbMATH OpenFDO

Authors A. P. Pyn'ko

Publication date 9 March 2000

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

zbMATH Keywords

quasivarietyequational theoryalgebraizable logicconsequence operationsentential logicsequential systemconjunctive logicquasi-equational theories

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 465608
• Algebraizable logics
• Equivalential and algebraizable logics
• On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics

Cites work

• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3857062 (Why is no real title available?)
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 67021 (Why is no real title available?)
• scientific article; zbMATH DE number 67022 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 3453564 (Why is no real title available?)
• scientific article; zbMATH DE number 3339356 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A propositional calculus with denumerable matrix
• Algebraic study of Sette's maximal paraconsistent logic
• Algebraizable logics
• Characterizing Belnap's Logic via De Morgan's Laws
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Lattices With Involution
• On Priest's logic of paradox
• The logic of paradox

Cited in

(26)

• Characterizing equivalential and algebraizable logics by the Leibniz operator
• Algebraic semantics for deductive systems
• Definability issues in universal logic
• Order algebraizable logics
• Applications of Kolmogorov complexity to computable model theory
• Nelson algebras, residuated lattices and rough sets: A survey
• Equivalence of consequence relations: an order-theoretic and categorical perspective
• Fuzzy semantics for multiple-conclusion sequential calculi with structural rules
• A non-finitary sentential logic that is elementarily algebraizable
• A relative interpolation theorem for infinitary universal Horn logic and its applications
• An abstract approach to consequence relations
• Selfextensional logics with a conjunction
• Constructive logic with strong negation is a substructural logic. II
• Correspondences between gentzen and hilbert systems
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• Algebraizable logics with a strong conjunction and their semi-lattice based companions
• scientific article; zbMATH DE number 5307783 (Why is no real title available?)
• Implicational classes of De Morgan lattices
• Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules
• Subquasivarieties of implicative locally-finite quasivarieties
• Many-place sequent calculi for finitely-valued logics
• Intuitionistic logic is a connexive logic
• Subprevarieties versus extensions. Application to the logic of paradox
• On the deductive system of the order of an equationally orderable quasivariety
• Abstract algebraic logic. An introductory chapter
• The original sin of proof-theoretic semantics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1302288)