Algebraizable logics
From MaRDI portal
Publication:3815297
DOI10.1090/MEMO/0396zbMATH Open0664.03042OpenAlexW4252113473MaRDI QIDQ3815297FDOQ3815297
Authors: W. J. Blok, Don Pigozzi 
Publication date: 1989
Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/memo/0396
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
consequence relationintuitionistic logicmodal logiccongruence relationdeductive systemquasivarietyrelevance logicmatrix semanticsLeibniz operatoralgebraizable logicclassical predicate logiclattice of theoriesequational consequenceformula algebrauniversal Horn theory. algebraic semantics
Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55) Equational classes, universal algebra in model theory (03C05) Quasivarieties (08C15) Algebraic logic (03G99)
Cited In (only showing first 100 items - show all)
- Implicative twist-structures
- Logical consequence and the paradoxes
- Fuzzy logics with an additional involutive negation
- From Inconsistency to Incompatibility
- Title not available (Why is that?)
- A new approach for classification of filters in residuated lattices
- Almost structural completeness; an algebraic approach
- The proof by cases property and its variants in structural consequence relations
- Formal systems of fuzzy logic and their fragments
- There exist exactly two maximal strictly relevant extensions of the relevant logic R
- \(n\)-contractive BL-logics
- Quasi-subtractive varieties
- Contextual deduction theorems
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Protoalgebraic logics
- Idempotent residuated structures: Some category equivalences and their applications
- Structural completeness in relevance logics
- Franco Montagna's work on provability logic and many-valued logic
- Selfextensional logics with a conjunction
- Proof theory for locally finite many-valued logics: semi-projective logics
- Some types of filters in residuated lattices
- Title not available (Why is that?)
- Partially undetermined many-valued events and their conditional probability
- Priestley duality for bilattices
- MV-algebras with internal states and probabilistic fuzzy logics
- Implicational (semilinear) logics. I: A new hierarchy
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
- Fragments of R-mingle
- A coalgebraic perspective on logical interpretations
- Internal axioms for domain semirings
- The free \(n\)-generated BL-algebra
- A logical characterization of coherence for imprecise probabilities
- State morphism MV-algebras
- Varieties of interlaced bilattices
- Representations of structural closure operators
- Product logic and probabilistic Ulam games
- Rotation logics
- The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
- Taking degrees of truth seriously
- The semantic isomorphism theorem in abstract algebraic logic
- Expanding basic fuzzy logic with truth constants for component delimiters
- Algebraic logic for classical conjunction and disjunction
- Algebraization of quantifier logics, an introductory overview
- Behavioral algebraization of logics
- Definitional equivalence and algebraizability of generalized logical systems
- Order algebraizable logics
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
- A closer look at some subintuitionistic logics
- Ł\(\Pi\) logic with fixed points
- Proof complexity of intuitionistic implicational formulas
- Semisimples in varieties of commutative integral bounded residuated lattices
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
- Algebraic semantics for deductive systems
- A logical and algebraic treatment of conditional probability
- Paraconsistent modal logics
- Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
- Paraconsistency properties in degree-preserving fuzzy logics
- Boolean-like algebras
- Update to ``A survey of abstract algebraic logic
- Algebraic study of two deductive systems of relevance logic
- On elementary equivalence for equality-free logic
- Logics from \(\sqrt{\prime}\) quasi-MV algebras
- State operators on generalizations of fuzzy structures
- A category equivalence for odd Sugihara monoids and its applications
- Admissible rules and the Leibniz hierarchy
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- Weakly implicative (fuzzy) logics. I: Basic properties
- Title not available (Why is that?)
- An abstract approach to consequence relations
- Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
- Semisimplicity and the discriminator in bounded BCK-algebras
- Categorical abstract algebraic logic: meet-combination of logical systems
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
- A categorical equivalence for product algebras
- Varieties of commutative residuated integral pomonoids and their residuation subreducts
- Commutative basic algebras and non-associative fuzzy logics
- Basic hoops: an algebraic study of continuous t-norms
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- Abstract algebraic logic. An introductory textbook
- Closure properties for the class of behavioral models
- Equivalence of consequence operations
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth
- On algebras and varieties with semilattice reducts
- Semi-linear varieties of lattice-ordered algebras.
- \(M\)-sets and the representation problem
- Refinement by Interpretation in a General Setting
- Axiomatizing the skew Boolean propositional calculus
- A deduction theorem schema for deductive systems of propositional logics
- On the finite embeddability property for residuated ordered groupoids
- Characterizing equivalential and algebraizable logics by the Leibniz operator
- Weakly algebraizable logics
- Non-reversible betting games on fuzzy events: complexity and algebra
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices
- Combining algebraizable logics
- On complete representations of algebras of logic
- Relative congruence formulas and decompositions in quasivarieties
- On an axiomatic system for the logic of linearly ordered BCI-matrices
- Variations on a theme of Curry
- A study of truth predicates in matrix semantics
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)
