Some theorems on structural consequence operations
From MaRDI portal
Publication:1219264
DOI10.1007/BF02314419zbMath0311.02016OpenAlexW2095367681MaRDI QIDQ1219264
Publication date: 1975
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02314419
Related Items (23)
A relative interpolation theorem for infinitary universal Horn logic and its applications ⋮ Matrices, primitive satisfaction and finitely based logics ⋮ On elementary equivalence for equality-free logic ⋮ Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems ⋮ Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited ⋮ Abstract valuation semantics ⋮ Deduction-Detachment Theorem and Gentzen-Style Deductive Systems ⋮ Abstract algebraic logic. An introductory chapter ⋮ Reduced products of logical matrices ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ Equivalential logics. I ⋮ Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems ⋮ Protoalgebraic logics ⋮ A representation theorem for the lattice of standard consequence operations ⋮ Freeness in classes without equality ⋮ Properties of the logical consequence operation and its relationship with the independence of propositional logic ⋮ On finitely based consequence operations ⋮ Algebraic Valuations as Behavioral Logical Matrices ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Correspondences between gentzen and hilbert systems ⋮ Some characterization theorems for infinitary universal Horn logic without equality ⋮ Some theorems on structural entailment relations ⋮ Filter distributive logics
Cites Work
This page was built for publication: Some theorems on structural consequence operations
