scientific article

zbMATH Open0768.03008MaRDI QIDQ4029628FDOQ4029628

W. J. Blok, Don Pigozzi

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

zbMATH Keywords

Leibniz operatorsentential logicquasi-equational logic\(k\)-deductive systemalgebraic model theory for universal Horn logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Equational classes, universal algebra in model theory (03C05) Applications of universal algebra in computer science (08A70) Axiomatic model classes (08C10)

Cited In (48)

• General theory of the commutator for deductive systems. I: Basic facts
• In memory of Willem Johannes Blok 1947-2003
• First order logic without equality on relativized semantics
• Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
• Multi-term π-institutions and their equivalence
• On varieties of cylindric algebras with applications to logic
• Combining algebraizable logics
• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
• Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
• Fregean logics
• Contextual deduction theorems
• Birkhoff's and Mal'cev's theorems for implicational tonoid logics
• Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
• Fragments of R-mingle
• Categorical abstract algebraic logic: Gentzenπ -institutions and the deduction-detachment property
• THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
• Behavioral algebraization of logics
• Lattices of theories in languages without equality
• Logics of left variable inclusion and Płonka sums of matrices
• Defining subdirect product closed classes in infinitary logic
• ON EQUATIONAL COMPLETENESS THEOREMS
• The poset of all logics. III: Finitely presentable logics
• Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
• Fregean logics with the multiterm deduction theorem and their algebraization
• On the complexity of the Leibniz hierarchy
• On elementary equivalence for equality-free logic
• Three-element non-finitely axiomatizable matrices and term-equivalence
• A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS
• On the closure properties of the class of full G-models of a deductive system
• The Suszko operator relative to truth‐equational logics
• Epimorphisms, definability and cardinalities
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
• Quasi-equational bases for graphs of semigroups, monoids and groups.
• Abstract valuation semantics
• Constructive logic with strong negation is a substructural logic. II
• Willem Blok's contribution to abstract algebraic logic
• The Beth property in algebraic logic
• Closure properties for the class of behavioral models
• A Mathematical Life
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• Beyond Rasiowa's algebraic approach to non-classical logics
• A short overview of Hidden Logic
• Characterization of protoalgebraic k-deductive systems
• Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
• Equivalential and algebraizable logics
• Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
• Refinement by Interpretation in a General Setting

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4029628)