scientific article; zbMATH DE number 139647

zbMATH Open0768.03008MaRDI QIDQ4029628FDOQ4029628

Authors W. J. Blok, Don Pigozzi

Publication date 28 March 1993

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)

Recommendations

• Characterization of protoalgebraic \(k\)-deductive systems
• Some characterization theorems for infinitary universal Horn logic without equality
• scientific article; zbMATH DE number 1960346
• Algebraic Characterizations for Universal Fragments of Logic
• Algebraizable logics

Cited in

(51)

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

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)