Algebraizable logics - MaRDI portal

Recommendations

scientific article; zbMATH DE number 567281
scientific article; zbMATH DE number 4183416
Equivalential and algebraizable logics
scientific article; zbMATH DE number 3164639
Algebraic logic
scientific article; zbMATH DE number 1852925
scientific article; zbMATH DE number 3896930
scientific article; zbMATH DE number 1303723
Algebraization of Non-structural Logics
scientific article; zbMATH DE number 67027

Cited in

(only showing first 100 items - show all)

Constructive logic with strong negation is a substructural logic. II
Behavioral algebraization of logics
Equivalents for a quasivariety to be generated by a single structure
Update to ``A survey of abstract algebraic logic
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
Taking degrees of truth seriously
Commutative basic algebras and non-associative fuzzy logics
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
The logic of algebraic rules as a generalization of equational logic
Filter distributive logics
Strongly finitely based equational theories
\(C_ 1\) is not algebraizable
A deduction theorem schema for deductive systems of propositional logics
Algebraic logic for classical conjunction and disjunction
Algebraization of quantifier logics, an introductory overview
The lattice of distributive closure operators over an algebra
On reduced matrices
Definitional equivalence and algebraizability of generalized logical systems
Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
Wajsberg algebras and Post algebras
P1 algebras
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
A Gentzen system for conditional logic
Towards automating duality
Algebraic study of Sette's maximal paraconsistent logic
Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends
On elementary equivalence for equality-free logic
Varieties of commutative residuated integral pomonoids and their residuation subreducts
Characterizing equivalential and algebraizable logics by the Leibniz operator
Complexity of equations valid in algebras of relations. I: Strong non-finitizability
Anshakov-Rychkov algebras
A closer look at some subintuitionistic logics
Quasivarieties of logic, regularity conditions and parameterized algebraization
Algebraic semantics for deductive systems
A computational glimpse at the Leibniz and Frege hierarchies
The logic of the strongest and the weakest t-norms
The strong version of a sentential logic
Locally tabular locally finite
An algebraic view of super-Belnap logics
Relative congruence formulas and decompositions in quasivarieties
On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
Proof search and co-NP completeness for many-valued logics
Perfect Pavelka logic
Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra
Expanding \(\text{FL}_{ew}\) with a Boolean connective
On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions
Tense operators on non-commutative residuated lattices
Selfextensional logics with a distributive nearlattice term
Varieties of De Morgan monoids: minimality and irreducible algebras
On the complexity of the Leibniz hierarchy
Expanding basic fuzzy logic with truth constants for component delimiters
A logical and algebraic treatment of conditional probability
Congruences, ideals and annihilators in standard QBCC-algebras
Fragments of R-mingle
Implicit connectives of algebraizable logics
Fregean logics with the multiterm deduction theorem and their algebraization
Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
Varieties of BL-algebras. II
Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
Hereditarily structurally complete superintuitionistic deductive systems
First order logic without equality on relativized semantics
Some properties of pseudo-BCK- and pseudo-BCI-algebras
Back-and-forth systems for fuzzy first-order models
Characterizing finite-valuedness
Extending fuzzy logics with many hedges
Reduced axioms for the propositional logics induced by basic algebras
On algebras and varieties with semilattice reducts
Combining algebraizable logics
Algebraic study of two deductive systems of relevance logic
The abstract variable-binding calculus
Abstract modal logics
Decidable and undecidable logics with a binary modality
Two semantical approaches to paraconsistent modalities
A category equivalence for odd Sugihara monoids and its applications
Order algebraizable logics
Algebraizable logics with a strong conjunction and their semi-lattice based companions
On involutive FL\(_{e}\)-monoids
Replacement in logic
Monadic pseudo BCI-algebras and corresponding logics
Algebras for definable families of theories
Join-completions of partially ordered algebras
Riesz-McNaughton functions and Riesz MV-algebras of nonlinear functions
Fuzzy sets and formal logics
The semiring-theoretic approach to MV-algebras: a survey
Topologies, ranks, and closures for families of theories. I
The Hahn embedding theorem for a class of residuated semigroups
The poset of all logics. III: Finitely presentable logics
Strictly join irreducible varieties of BL-algebras: the missing pieces
Neighbourhood semantics for FDE-based modal logics
Structural completeness in many-valued logics with rational constants
Two maximality results for the lattice of extensions of \(\vdash_{\mathbf{RM}}\)
Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras
An algebraic study of the logic \textbf{S5'(BL)}
On the complexity of validity degrees in Łukasiewicz logic
On relative principal congruences in term quasivarieties
Poset products as relational models
Priestley duality for MV-algebras and beyond
The logic induced by effect algebras

This page was built for publication: Algebraizable logics

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