A survey of abstract algebraic logic
From MaRDI portal
Publication:1422446
DOI10.1023/A:1024621922509zbMath1057.03058MaRDI QIDQ1422446
Josep Maria Font, Ramon Jansana, Don Pigozzi
Publication date: 15 February 2004
Published in: Studia Logica (Search for Journal in Brave)
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03G99: Algebraic logic
Related Items
Behavioural reasoning for conditional equations, Free spectra of linear equivalential algebras, Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence, On an axiomatic system for the logic of linearly ordered BCI-matrices, Representations of structural closure operators, Cut elimination and strong separation for substructural logics: an algebraic approach, Canonical extensions for congruential logics with the deduction theorem, Leibniz-linked pairs of deductive systems, Contextual deduction theorems, Possible worlds in use, Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems, Categorical abstract algebraic logic: models of \(\pi\)-institutions, Triangle algebras: A formal logic approach to interval-valued residuated lattices, On the infinite-valued Łukasiewicz logic that preserves degrees of truth, Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems, Selfextensional logics with a conjunction, Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties, Logics with disjunction and proof by cases, Free equivalential algebras, Implicational (semilinear) logics. I: A new hierarchy, Behavioral algebraization of logics, Update to ``A survey of abstract algebraic logic, Taking degrees of truth seriously, Triangular norm based predicate fuzzy logics, Closure properties for the class of behavioral models, Willem Blok's contribution to abstract algebraic logic, The Beth property in algebraic logic, Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL, Fuzzy logics as the logics of chains, Beyond Rasiowa's algebraic approach to non-classical logics, On two fragments with negation and without implication of the logic of residuated lattices, Categorical abstract algebraic logic: Partially ordered algebraic systems, Weakly implicative (fuzzy) logics. I: Basic properties, Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach, Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity, Quasi-subtractive varieties, On theories and models in fuzzy predicate logics, Correspondences between gentzen and hilbert systems, Glivenko theorems for substructural logics over FL, Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors, ASSERTIONALLY EQUIVALENT QUASIVARIETIES, Algebraic Valuations as Behavioral Logical Matrices, Behavioral algebraization of da Costa's C-systems
