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)

Axiomatizing the skew Boolean propositional calculus
A deduction theorem schema for deductive systems of propositional logics
Basic algebras, logics, trends and applications.
Generating the variety of BL-algebras
An algebraic investigation of the connexive logic \(\mathsf{C}\)
Algebraizable logics with a strong conjunction and their semi-lattice based companions
Reconciling first-order logic to algebra
A version of predicate logic with two variables that has an incompleteness property
Very true operators on pre-semi-Nelson algebras
Characterizing equivalential and algebraizable logics by the Leibniz operator
Monadic GMV-algebras
Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
An algebraic investigation of linear logic
The algebra of ordinary discourse. On the semantics of Cooper's logic
First order logic without equality on relativized semantics
On algebraisation of superintuitionistic predicate logics
Algebraic semantics for quasi-classical modal logics
On the finite embeddability property for residuated ordered groupoids
Non-reversible betting games on fuzzy events: complexity and algebra
Wajsberg algebras and Post algebras
Amalgamation through quantifier elimination for varieties of commutative residuated lattices
An algebraic study of the logic \textbf{S5'(BL)}
On relative principal congruences in term quasivarieties
De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics
Epimorphisms in varieties of residuated structures
Freeness in classes without equality
Implicative twist-structures
Logical consequence and the paradoxes
On the complexity of validity degrees in Łukasiewicz logic
Standard completeness of Hájek basic logic and decompositions of BL-chains
Weakly algebraizable logics
scientific article; zbMATH DE number 2172825 (Why is no real title available?)
Combining algebraizable logics
First-order nilpotent minimum logics: first steps
Modal expansions of ririgs
On the scope of some formulas defining additive connectives in fuzzy logics
Fuzzy logics with an additional involutive negation
A logico-geometric comparison of coherence for non-additive uncertainty measures
From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
Algebraization of Non-structural Logics
Relative congruence formulas and decompositions in quasivarieties
The polyhedral geometry of Wajsberg hoops
Varieties of De Morgan monoids: minimality and irreducible algebras
On an axiomatic system for the logic of linearly ordered BCI-matrices
On complete representations of algebras of logic
Komori identities in algebraic logic
Regularity in residuated lattices
An intriguing logic with two implicational connectives
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
Belief functions on MV-algebras of fuzzy sets: an overview
MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE
Prior's OIC nonconservativity example revisited
Epimorphism surjectivity in varieties of Heyting algebras
On prevarieties of logic
Structural and universal completeness in algebra and logic
Annihilators in BCK-Algebras
LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
scientific article; zbMATH DE number 1960347 (Why is no real title available?)
Homotopical categories of logics
Categorical abstract algebraic logic: pseudo-referential matrix system semantics
Variations on a theme of Curry
Consequence and degrees of truth in many-valued logic
Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
Protoalgebraic logics
Quasivarieties of Wajsberg hoops
Finite model property and varieties of BL-algebras
Join-completions of partially ordered algebras
Complexity of equations valid in algebras of relations. I: Strong non-finitizability
Subdirectly irreducible residuated semilattices and positive universal classes
scientific article; zbMATH DE number 5910661 (Why is no real title available?)
Poset products as relational models
On reduced matrices
Epimorphisms in varieties of subidempotent residuated structures
A study of truth predicates in matrix semantics
Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
A new approach for classification of filters in residuated lattices
Almost structural completeness; an algebraic approach
Quasi-Nelson algebras and fragments
Principal congruences in weak Heyting algebras
From Inconsistency to Incompatibility
scientific article; zbMATH DE number 1852925 (Why is no real title available?)
Algebraization of logics defined by literal‐paraconsistent or literal‐paracomplete matrices
Bi-intermediate logics of trees and co-trees
Exploring Extensions of Possibilistic Logic over Gödel Logic
The proof by cases property and its variants in structural consequence relations
Intuitionistic Sahlqvist theory for deductive systems
On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
On three implication-less fragments of t-norm based fuzzy logics
States on commutative basic algebras
An algebraic proof of completeness for monadic fuzzy predicate logic \(\mathbf{MMTL} \forall\)
On linear varieties of MTL-algebras
On involutive FL\(_{e}\)-monoids
Profiniteness and representability of spectra of Heyting algebras
Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems
2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06
A logical characterization of multi-adjoint algebras
An algebraic view of super-Belnap logics
Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
Formal systems of fuzzy logic and their fragments
Algebraizable logics. An exact reproduction of the text originally published in 1989 with an errata sheet prepared by the second author in 2014

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)