Some theorems on structural consequence operations
From MaRDI portal
Cited in
(24)- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
- Reduced products of logical matrices
- Freeness in classes without equality
- Protoalgebraic logics
- Correspondences between gentzen and hilbert systems
- Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems
- Matrices, primitive satisfaction and finitely based logics
- Some characterization theorems for infinitary universal Horn logic without equality
- An essay in matrix semantics for consequence relations
- A representation theorem for the lattice of standard consequence operations
- Algebraic Valuations as Behavioral Logical Matrices
- Properties of the logical consequence operation and its relationship with the independence of propositional logic
- On elementary equivalence for equality-free logic
- On the closure properties of the class of full G-models of a deductive system
- Abstract valuation semantics
- Key notions of Tarski's methodology of deductive systems
- Some theorems on structural entailment relations
- Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
- Equivalential logics. I
- On finitely based consequence operations
- Deduction-detachment theorem and Gentzen-style deductive systems
- A relative interpolation theorem for infinitary universal Horn logic and its applications
- Abstract algebraic logic. An introductory chapter
- Filter distributive logics
This page was built for publication: Some theorems on structural consequence operations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1219264)
