A survey of abstract algebraic logic
From MaRDI portal
Publication:1422446
DOI10.1023/A:1024621922509zbMath1057.03058OpenAlexW1554619471MaRDI QIDQ1422446
Don Pigozzi, Ramon Jansana, Josep Maria Font
Publication date: 15 February 2004
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1024621922509
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Algebraic logic (03G99)
Related Items
THE LATTICE OF SUPER-BELNAP LOGICS ⋮ The Suszko operator relative to truth‐equational logics ⋮ Is there a neutral metalanguage? ⋮ Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation ⋮ A note on closure spaces determined by intersections ⋮ Subordination algebras as semantic environment of input/output logic ⋮ A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions ⋮ Conservative expansions of substructural logics ⋮ CAPTURING CONSEQUENCE ⋮ AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS ⋮ Inconsistency lemmas in algebraic logic ⋮ The simplest protoalgebraic logic ⋮ Behavioural reasoning for conditional equations ⋮ Free spectra of linear equivalential algebras ⋮ Towards Logics of Some Rough Perspectives of Knowledge ⋮ Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence ⋮ A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS ⋮ Constructive Modalities with Provability Smack ⋮ Topological Interpretations of Provability Logic ⋮ A new hierarchy of infinitary logics in abstract algebraic logic ⋮ Almost structural completeness; an algebraic approach ⋮ Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity ⋮ Triangle algebras: A formal logic approach to interval-valued residuated lattices ⋮ Structural completeness in relevance logics ⋮ On the deductive system of the order of an equationally orderable quasivariety ⋮ Closure properties for the class of behavioral models ⋮ Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach ⋮ An Abstract Algebraic Logic View on Judgment Aggregation ⋮ On the infinite-valued Łukasiewicz logic that preserves degrees of truth ⋮ Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems ⋮ Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity ⋮ COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC ⋮ An alternative proof of the Hilbert-style axiomatization for the \(\{\wedge,\vee\}\)-fragment of classical propositional logic ⋮ The structure of completely meet irreducible congruences in strongly Fregean algebras ⋮ Selfextensional logics with a conjunction ⋮ Categorical abstract algebraic logic: meet-combination of logical systems ⋮ Categorical abstract algebraic logic: referential algebraic semantics ⋮ Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited ⋮ Abstract valuation semantics ⋮ The proof by cases property and its variants in structural consequence relations ⋮ Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties ⋮ A computational glimpse at the Leibniz and Frege hierarchies ⋮ The strong version of a sentential logic ⋮ A comparison between monoidal and substructural logics ⋮ Leibniz interpolation properties ⋮ A Mathematical Life ⋮ Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic ⋮ A short overview of Hidden Logic ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ Minimally generated abstract logics ⋮ Theory of completeness for logical spaces ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ Algebraizable logics with a strong conjunction and their semi-lattice based companions ⋮ On an axiomatic system for the logic of linearly ordered BCI-matrices ⋮ Representations of structural closure operators ⋮ 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 ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ Canonical extensions for congruential logics with the deduction theorem ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Unnamed Item ⋮ Selfextensional logics with a distributive nearlattice term ⋮ Leibniz-linked pairs of deductive systems ⋮ Contextual deduction theorems ⋮ Possible worlds in use ⋮ Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ Rotation logics ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ Logics with disjunction and proof by cases ⋮ A note on natural extensions in abstract algebraic logic ⋮ The semi Heyting-Brouwer logic ⋮ Semi-intuitionistic logic with strong negation ⋮ Implicational (semilinear) logics. III: Completeness properties ⋮ ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS ⋮ Judgment aggregation in nonmonotonic logic ⋮ Free equivalential algebras ⋮ A new view of effects in a Hilbert space ⋮ Constructing natural extensions of propositional logics ⋮ Gentzen-style sequent calculus for semi-intuitionistic logic ⋮ On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis ⋮ Extension properties and subdirect representation in abstract algebraic logic ⋮ Beyond Rasiowan systems: unital deductive systems ⋮ Craig interpolation in the presence of unreliable connectives ⋮ Implicational (semilinear) logics. I: A new hierarchy ⋮ Categorical Abstract Algebraic Logic: Algebraic Semantics for (\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf{\pi }$\end{document})‐Institutions ⋮ Fuzzy logics as the logics of chains ⋮ Triangular norm based predicate fuzzy logics ⋮ 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 ⋮ Logic for abstract hoop twist-structures ⋮ Weakly implicative (fuzzy) logics. I: Basic properties ⋮ Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach ⋮ The logic of distributive nearlattices ⋮ Behavioral algebraization of logics ⋮ Update to ``A survey of abstract algebraic logic ⋮ Algebraic analysis of demodalised analytic implication ⋮ The poset of all logics. III: Finitely presentable logics ⋮ Supervenience, Dependence, Disjunction ⋮ Taking degrees of truth seriously ⋮ Algebraic Valuations as Behavioral Logical Matrices ⋮ A relational semantics for the logic of bounded lattices ⋮ Behavioral algebraization of da Costa's C-systems ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ Quasi-subtractive varieties ⋮ On theories and models in fuzzy predicate logics ⋮ Correspondences between gentzen and hilbert systems ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ Glivenko theorems for substructural logics over FL ⋮ Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors ⋮ Algebraic Logic and Knowledge Bases ⋮ \(M\)-sets and the representation problem ⋮ On some semi-intuitionistic logics ⋮ Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions ⋮ Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems ⋮ Categorical abstract algebraic logic: models of \(\pi\)-institutions
