Algebraizable logics
From MaRDI portal
Publication:3815297
DOI10.1090/memo/0396zbMath0664.03042MaRDI QIDQ3815297
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
modal logic; consequence relation; quasivariety; algebraizable logic; Leibniz operator; intuitionistic logic; congruence relation; relevance logic; deductive system; matrix semantics; classical predicate logic; lattice of theories; equational consequence; formula algebra; universal Horn theory. algebraic semantics
03B45: Modal logic (including the logic of norms)
03B60: Other nonclassical logic
03B10: Classical first-order logic
03G99: Algebraic logic
08C15: Quasivarieties
03C05: Equational classes, universal algebra in model theory
03B20: Subsystems of classical logic (including intuitionistic logic)
03B55: Intermediate logics
Related Items
Unnamed Item, Weakly algebraizable logics, Unnamed Item, There exist exactly two maximal strictly relevant extensions of the relevant logic R, Freeness in classes without equality, On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences, 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06, Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic, Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops, Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions, On the finite embeddability property for residuated ordered groupoids, On free annotated algebras, Protoalgebraic logics, Deduction theorems within RM and its extensions, Neat embeddings, omitting types, and interpolation: an overview, Fregean logics, Extending possibilistic logic over Gödel logic, Internal axioms for domain semirings, An intriguing logic with two implicational connectives, Data types over multiple-valued logics, Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems, Standard completeness of Hájek basic logic and decompositions of BL-chains, Generating the variety of BL-algebras, Axiomatic extensions of IMT3 logic, Categorical abstract algebraic logic: models of \(\pi\)-institutions, On the infinite-valued Łukasiewicz logic that preserves degrees of truth, Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems, Selfextensional logics with a conjunction, Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results, Product logic and probabilistic Ulam games, Axiomatizing the skew Boolean propositional calculus, Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties, An approach to Glivenko's theorem in algebraizable logics, Boolean representation of bounded BCK-algebras, Forcing in Łukasiewicz predicate logic, Pavelka-style completeness in expansions of Łukasiewicz logic, Monadic GMV-algebras, Free equivalential algebras, Ł\(\Pi\) logic with fixed points, MV-algebras with internal states and probabilistic fuzzy logics, Implicational (semilinear) logics. I: A new hierarchy, Semisimplicity and the discriminator in bounded BCK-algebras, 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, Strongly finitely based equational theories, 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, Complexity of equations valid in algebras of relations. I: Strong non-finitizability, Anshakov-Rychkov algebras, A closer look at some subintuitionistic logics, 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, 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, Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics, On expansions of WNM t-norm based logics with truth-constants, Fuzzy logics with an additional involutive negation, An analog of Beth's theorem in normal extensions of the modal logic K4, Partial algebras, meaning categories and algebraization, Closure properties for the class of behavioral models, Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics, On the scope of some formulas defining additive connectives in fuzzy logics, Willem Blok's contribution to abstract algebraic logic, Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\), On the closure properties of the class of full G-models of a deductive system, Subdirectly irreducible residuated semilattices and positive universal classes, On three implication-less fragments of t-norm based fuzzy logics, Basic hoops: an algebraic study of continuous t-norms, Formal systems of fuzzy logic and their fragments, Strong non-standard completeness for fuzzy logics, Interpolation and Beth's property in propositional many-valued logics: a semantic investigation, Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5, On two fragments with negation and without implication of the logic of residuated lattices, Categorical abstract algebraic logic: Partially ordered algebraic systems, Variations on a theme of Curry, Weakly implicative (fuzzy) logics. I: Basic properties, Equivalential and algebraizable logics, Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops, Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity, Annihilators in BCK-Algebras, Generic substitutions, Representable idempotent commutative residuated lattices, Exploring Extensions of Possibilistic Logic over Gödel Logic, Algebraic Valuations as Behavioral Logical Matrices, On Special Implicative Filters
