Cites work
- scientific article; zbMATH DE number 3496154 (Why is no real title available?)
- scientific article; zbMATH DE number 3315184 (Why is no real title available?)
- scientific article; zbMATH DE number 3378906 (Why is no real title available?)
- scientific article; zbMATH DE number 3419181 (Why is no real title available?)
- An algebraic approach to non-classical logics
- Matrix approach in methodology of sentential calculi
- Reduced products of logical matrices
- Some theorems on structural consequence operations
Cited in
(48)- Intuitionistic logic is a connexive logic
- Some remarks on the logic of probabilistic relevance
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
- General theory of the commutator for deductive systems. I: Basic facts
- Logical matrices and the amalgamation property
- Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
- Protoalgebraic logics
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
- Fregean logics
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
- Matrices, primitive satisfaction and finitely based logics
- A short overview of hidden logic
- Characterization of protoalgebraic \(k\)-deductive systems
- Algebraic study of Sette's maximal paraconsistent logic
- An essay in matrix semantics for consequence relations
- Choice of primitives: A note on axiomatizing intuitionistic logic
- Singulary extensional connectives: A closer look
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
- Categorical abstract algebraic logic: models of -institutions
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties
- Equivalential logics. II
- Boolean-like algebras
- Juxtaposition: a new way to combine logics
- On elementary equivalence for equality-free logic
- Lattice-theoretic properties of algebras of logic
- Replacement in logic
- On the closure properties of the class of full G-models of a deductive system
- Possible worlds in use
- On free annotated algebras
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
- Strong versus weak quantum consequence operations
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
- Some theorems on structural entailment relations
- Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
- The Beth property in algebraic logic
- Closure properties for the class of behavioral models
- Sentential logics and Maehara interpolation property
- Beyond Rasiowa's algebraic approach to non-classical logics
- Semi-linear varieties of lattice-ordered algebras.
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
- Synonymous logics
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
- Abstract algebraic logic. An introductory chapter
- Filter distributive logics
- Equivalential and algebraizable logics
- Algebraic aspects of deduction theorems
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
This page was built for publication: Equivalential logics. I
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1159628)
