scientific article
From MaRDI portal
Publication:4029628
zbMath0768.03008MaRDI QIDQ4029628
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
sentential logicLeibniz operatorquasi-equational logic\(k\)-deductive systemalgebraic model theory for universal Horn logic
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Applications of universal algebra in computer science (08A70) Equational classes, universal algebra in model theory (03C05) Axiomatic model classes (08C10)
Related Items (47)
Closure properties for the class of behavioral models ⋮ ON EQUATIONAL COMPLETENESS THEOREMS ⋮ Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions ⋮ Defining subdirect product closed classes in infinitary logic ⋮ On varieties of cylindric algebras with applications to logic ⋮ On elementary equivalence for equality-free logic ⋮ On the infinite-valued Łukasiewicz logic that preserves degrees of truth ⋮ Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity ⋮ A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS ⋮ Fregean logics ⋮ Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited ⋮ Abstract valuation semantics ⋮ A Mathematical Life ⋮ Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic ⋮ A short overview of Hidden Logic ⋮ Characterization of protoalgebraic k-deductive systems ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ The Suszko operator relative to truth‐equational logics ⋮ Birkhoff's and Mal'cev's theorems for implicational tonoid logics ⋮ In memory of Willem Johannes Blok 1947-2003 ⋮ Willem Blok's contribution to abstract algebraic logic ⋮ The Beth property in algebraic logic ⋮ General theory of the commutator for deductive systems. I: Basic facts ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ Lattices of theories in languages without equality ⋮ Contextual deduction theorems ⋮ Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ Three-element non-finitely axiomatizable matrices and term-equivalence ⋮ Refinement by Interpretation in a General Setting ⋮ Categorical abstract algebraic logic: Gentzenπ -institutions and the deduction-detachment property ⋮ On the complexity of the Leibniz hierarchy ⋮ Quasi-equational bases for graphs of semigroups, monoids and groups. ⋮ Fragments of R-mingle ⋮ Fregean logics with the multiterm deduction theorem and their algebraization ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ First order logic without equality on relativized semantics ⋮ Constructive logic with strong negation is a substructural logic. II ⋮ Behavioral algebraization of logics ⋮ The poset of all logics. III: Finitely presentable logics ⋮ Epimorphisms, definability and cardinalities ⋮ Combining algebraizable logics ⋮ Equivalential and algebraizable logics ⋮ Multi-term π-institutions and their equivalence ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE ⋮ Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems ⋮ THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
This page was built for publication:
