Algebraizable logics
From MaRDI portal
Publication:3815297
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
modal logicconsequence relationquasivarietyalgebraizable logicLeibniz operatorintuitionistic logiccongruence relationrelevance logicdeductive systemmatrix semanticsclassical predicate logiclattice of theoriesequational consequenceformula algebrauniversal Horn theory. algebraic semantics
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 ⋮ 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 ⋮ Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property ⋮ A Gentzen system for conditional logic ⋮ Priestley duality for MV-algebras and beyond ⋮ Towards automating duality ⋮ Algebraic study of Sette's maximal paraconsistent logic ⋮ Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends ⋮ Algebraic study of two deductive systems of relevance logic ⋮ The abstract variable-binding calculus ⋮ On elementary equivalence for equality-free logic ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ Abstract modal logics ⋮ The logic induced by effect algebras ⋮ Decidable and undecidable logics with a binary modality ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ 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 \(\neq \) locally finite ⋮ Two semantical approaches to paraconsistent modalities ⋮ An algebraic view of super-Belnap logics ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ Algebraizable logics with a strong conjunction and their semi-lattice based companions ⋮ On involutive FL\(_{e}\)-monoids ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ 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 ⋮ Replacement in logic ⋮ Tense operators on non-commutative residuated lattices ⋮ Boolean algebras of conditionals, probability and logic ⋮ Selfextensional logics with a distributive nearlattice term ⋮ Anshakov-Rychkov algebras ⋮ A closer look at some subintuitionistic logics ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ Rotation logics ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ Finite model property and varieties of BL-algebras ⋮ On the complexity of the Leibniz hierarchy ⋮ On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events ⋮ Monadic pseudo BCI-algebras and corresponding logics ⋮ Expanding basic fuzzy logic with truth constants for component delimiters ⋮ Algebras for definable families of theories
This page was built for publication: Algebraizable logics
