Pages that link to "Item:Q2433095"
From MaRDI portal
The following pages link to Equivalence of consequence operations (Q2433095):
Displaying 38 items.
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions (Q308133) (← links)
- The semantic isomorphism theorem in abstract algebraic logic (Q324257) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- Representations of structural closure operators (Q627430) (← links)
- Contextual deduction theorems (Q647412) (← links)
- On the structure of varieties with equationally definable principal congruences. II (Q762523) (← links)
- Update to ``A survey of abstract algebraic logic'' (Q1005985) (← links)
- On the complexity of the Leibniz hierarchy (Q1740630) (← links)
- On pairs of dual consequence operations (Q1941723) (← links)
- Tribute to Bjarni Jónsson (Q1991588) (← links)
- Coproduct and amalgamation of deductive systems by means of ordered algebras (Q2169140) (← links)
- Proof theory of paraconsistent weak Kleene logic (Q2193974) (← links)
- On the algebraizability of the implicational fragment of abelian logic (Q2259001) (← links)
- A hierarchy of classical and paraconsistent logics (Q2301322) (← links)
- Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)
- Epimorphisms, definability and cardinalities (Q2307302) (← links)
- \(M\)-sets and the representation problem (Q2350212) (← links)
- A new hierarchy of infinitary logics in abstract algebraic logic (Q2363502) (← links)
- Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates (Q2679576) (← links)
- Empty logics (Q2679581) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- Requiem for logical nihilism, or: logical nihilism annihilated (Q2695400) (← links)
- What is a Paraconsistent Logic? (Q3305335) (← links)
- ST, LP and Tolerant Metainferences (Q3305673) (← links)
- Equivalence of consequence relations: an order-theoretic and categorical perspective (Q3399178) (← links)
- Multi-term π-institutions and their equivalence (Q3419674) (← links)
- (Q4025003) (← links)
- A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES (Q4692073) (← links)
- On logical and concurrent equivalences (Q4917082) (← links)
- Logics of variable inclusion and the lattice of consequence relations (Q4994024) (← links)
- A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS (Q5107533) (← links)
- AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS (Q5381042) (← links)
- Fibered universal algebra for first-order logics (Q6051097) (← links)
- (Meta)inferential levels of entailment beyond the Tarskian paradigm (Q6088599) (← links)
- Intuitionistic logic is a connexive logic (Q6127186) (← links)
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC (Q6148471) (← links)
- Birkhoff's and Mal'cev's theorems for implicational tonoid logics (Q6161952) (← links)
- Relevant consequence relations: an invitation (Q6638234) (← links)
