Algebraizable logics

DOI10.1090/MEMO/0396zbMath0664.03042OpenAlexW4252113473MaRDI 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

zbMATH Keywords

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Classical first-order logic (03B10) Algebraic logic (03G99) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (only showing first 100 items - show all)

On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences ⋮ The Suszko operator relative to truth‐equational logics ⋮ The value of the one value: \textit{exactly true logic} revisited ⋮ Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\) ⋮ On Heyting algebras with negative tense operators ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ A logical characterization of multi-adjoint algebras ⋮ Rational Pavelka logic: the best among three worlds? ⋮ Axiomatizing non-deterministic many-valued generalized consequence relations ⋮ The algebraic significance of weak excluded middle laws ⋮ From Inconsistency to Incompatibility ⋮ Fragments of quasi-Nelson: residuation ⋮ An algebraic semantics for possibilistic finite-valued Łukasiewicz logic ⋮ Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation ⋮ The Modelwise Interpolation Property of Semantic Logics ⋮ Universal algebraic methods for non-classical logics ⋮ Abstract algebraic logic. An introductory chapter ⋮ An algebraic investigation of the connexive logic \(\mathsf{C}\) ⋮ Gluing residuated lattices ⋮ Structural and universal completeness in algebra and logic ⋮ Conservative translations revisited ⋮ Deduction theorem in congruential modal logics ⋮ Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components ⋮ Relational Models for the Lambek Calculus with Intersection and Constants ⋮ Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications ⋮ A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Conservative expansions of substructural logics ⋮ Unnamed Item ⋮ CAPTURING CONSEQUENCE ⋮ AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS ⋮ Protoalgebraic logics ⋮ Inconsistency lemmas in algebraic logic ⋮ The simplest protoalgebraic logic ⋮ NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES ⋮ Observational Refinement Process ⋮ 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06 ⋮ On free annotated algebras ⋮ 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 ⋮ Basic algebras, logics, trends and applications ⋮ Nelson algebras, residuated lattices and rough sets: A survey ⋮ On the finite embeddability property for residuated ordered groupoids ⋮ SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY ⋮ A Note on Drastic Product Logic ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Belief Functions on MV-Algebras of Fuzzy Sets: An Overview ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS ⋮ Constructive Modalities with Provability Smack ⋮ Topological Interpretations of Provability Logic ⋮ Homotopical Categories of Logics ⋮ THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY ⋮ A new approach for classification of filters in residuated lattices ⋮ Almost structural completeness; an algebraic approach ⋮ De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics ⋮ Structural completeness in relevance logics ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach ⋮ Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions ⋮ On the infinite-valued Łukasiewicz logic that preserves degrees of truth ⋮ The semantic isomorphism theorem in abstract algebraic logic ⋮ Proof complexity of intuitionistic implicational formulas ⋮ Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems ⋮ Semisimples in varieties of commutative integral bounded residuated lattices ⋮ Paraconsistency properties in degree-preserving fuzzy logics ⋮ Selfextensional logics with a conjunction ⋮ Boolean-like algebras ⋮ Categorical abstract algebraic logic: meet-combination of logical systems ⋮ Fregean logics ⋮ Bilattices with implications ⋮ Categorical abstract algebraic logic: referential algebraic semantics ⋮ A coalgebraic perspective on logical interpretations ⋮ Abstract valuation semantics ⋮ The proof by cases property and its variants in structural consequence relations ⋮ 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 ⋮ Proof theory for locally finite many-valued logics: semi-projective logics ⋮ Some types of filters in residuated lattices ⋮ Extending possibilistic logic over Gödel logic ⋮ On an axiomatic system for the logic of linearly ordered BCI-matrices ⋮ Trakhtenbrot theorem and first-order axiomatic extensions of MTL ⋮ Internal axioms for domain semirings ⋮ Representations of structural closure operators ⋮ Completeness with respect to a chain and universal models in fuzzy logic ⋮ The propositional logic induced by means of basic algebras ⋮ State operators on generalizations of fuzzy structures ⋮ States on commutative basic algebras ⋮ Logics from \(\sqrt{\prime}\) quasi-MV algebras ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ The free \(n\)-generated BL-algebra ⋮ Partially undetermined many-valued events and their conditional probability ⋮ Varieties of interlaced bilattices ⋮ Contextual deduction theorems ⋮ \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation ⋮ \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics

This page was built for publication: Algebraizable logics