scientific article
From MaRDI portal
Publication:2772907
zbMath1004.03053MaRDI QIDQ2772907
Josep Maria Font, Ramon Jansana, Don Pigozzi
Publication date: 6 February 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
consequence relationgeneralized matrix modelalgebraizabilityfully adequate Gentzen systemfinitely equivalential deductive systemLeibniz theoryparametrized graded deduction-detachment systemprotoalgebraic deductive systemsweakly algebraizable deductive system
Algebraic logic (03G99) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05) Abstract deductive systems (03B22)
Related Items
On the infinite-valued Łukasiewicz logic that preserves degrees of truth, A Mathematical Life, Deduction-Detachment Theorem and Gentzen-Style Deductive Systems, Abstract algebraic logic. An introductory chapter, On the closure properties of the class of full G-models of a deductive system, Preservation of Craig interpolation by the product of matrix logics, The simplest protoalgebraic logic, Fregean logics with the multiterm deduction theorem and their algebraization, Beyond Rasiowa's algebraic approach to non-classical logics