A survey of abstract algebraic logic

DOI10.1023/A:1024621922509zbMATH Open1057.03058OpenAlexW1554619471MaRDI QIDQ1422446FDOQ1422446

Authors: Ramon Jansana, Don Pigozzi, 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

Recommendations

• What is abstract algebraic logic?
• scientific article; zbMATH DE number 1303723
• Algebraic logic
• Abstract algebraic logic. An introductory textbook
• scientific article; zbMATH DE number 868084

zbMATH Keywords

surveyabstract algebraic logic

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Algebraic logic (03G99)

Cited In (only showing first 100 items - show all)

• Leibniz interpolation properties
• Algebraizable logics with a strong conjunction and their semi-lattice based companions
• Abstract logics, logic maps, and logic homomorphisms
• Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
• Relative congruence formulas and decompositions in quasivarieties
• On an axiomatic system for the logic of linearly ordered BCI-matrices
• On some semi-intuitionistic logics
• Correspondences between gentzen and hilbert systems
• Algebraic Logic, Where Does it Stand Today?
• Almost structural completeness; an algebraic approach
• Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
• The proof by cases property and its variants in structural consequence relations
• A note on natural extensions in abstract algebraic logic
• Quasi-subtractive varieties
• Triangle algebras: A formal logic approach to interval-valued residuated lattices
• Contextual deduction theorems
• Glivenko theorems for substructural logics over FL
• Logic for abstract hoop twist-structures
• On the deductive system of the order of an equationally orderable quasivariety
• Structural completeness in relevance logics
• Selfextensional logics with a conjunction
• Implicational (semilinear) logics. I: A new hierarchy
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach
• Canonical extensions for congruential logics with the deduction theorem
• Behavioural reasoning for conditional equations
• On theories and models in fuzzy predicate logics
• Representations of structural closure operators
• Rotation logics
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Taking degrees of truth seriously
• An Abstract Algebraic Logic View on Judgment Aggregation
• Algebraization of quantifier logics, an introductory overview
• Algebraic Valuations as Behavioral Logical Matrices
• Behavioral algebraization of logics
• Categorical abstract algebraic logic: models of \(\pi\)-institutions
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties
• Fuzzy logics as the logics of chains
• Algebraic logic and logically-geometric types in varieties of algebras
• Triangular norm based predicate fuzzy logics
• Update to ``A survey of abstract algebraic logic
• Free spectra of linear equivalential algebras
• Weakly implicative (fuzzy) logics. I: Basic properties
• An abstract approach to consequence relations
• The Suszko operator relative to truth‐equational logics
• Behavioral algebraization of da Costa's \({\mathcal C}\)-systems
• Leibniz-linked pairs of deductive systems
• Possible worlds in use
• The semi Heyting-Brouwer logic
• Free equivalential algebras
• Categorical abstract algebraic logic: meet-combination of logical systems
• Categorical astract algebraic logic: algebraic semantics for \(\pi\)-institutions
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• A survey on categories of logics and algebraizable logics
• A logical approach to abstract algebra
• Abstract valuation semantics
• Categorical abstract algebraic logic: referential algebraic semantics
• Closure properties for the class of behavioral models
• Judgment aggregation in nonmonotonic logic
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• Beyond Rasiowa's algebraic approach to non-classical logics
• Minimally generated abstract logics
• Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
• A new view of effects in a Hilbert space
• Constructing natural extensions of propositional logics
• Gentzen-style sequent calculus for semi-intuitionistic logic
• Algebraic polymodal logic: a survey
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Logics with disjunction and proof by cases
• \(M\)-sets and the representation problem
• Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• A relational semantics for the logic of bounded lattices
• Varieties of De Morgan monoids: minimality and irreducible algebras
• Physics is organized around transformations connecting contextures in a polycontextural world
• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
• Implicational (semilinear) logics. III: Completeness properties
• A note on closure spaces determined by intersections
• Subordination algebras as semantic environment of input/output logic
• Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems
• Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
• Review of ``Protoalgebraic logics by J. Czelakowski
• Algebraic analysis of demodalised analytic implication
• A mathematical life
• Extension properties and subdirect representation in abstract algebraic logic
• Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence
• A short overview of hidden logic
• Beyond Rasiowan systems: unital deductive systems
• Craig interpolation in the presence of unreliable connectives
• A Henkin-style proof of completeness for first-order algebraizable logics
• Lewisian fixed points. I: Two incomparable constructions
• Is there a neutral metalanguage?
• Inconsistency lemmas in algebraic logic
• An alternative proof of the Hilbert-style axiomatization for the \(\{\wedge,\vee\}\)-fragment of classical propositional logic
• THE LATTICE OF SUPER-BELNAP LOGICS
• Logics of left variable inclusion and Płonka sums of matrices
• Semi-intuitionistic logic with strong negation
• Compatibly involutive residuated lattices and the Nelson identity
• The structure of completely meet irreducible congruences in strongly Fregean algebras

This page was built for publication: A survey of abstract algebraic logic

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