The following pages link to Protoalgebraic logics (Q5932852):
Displaying 42 items.
- Algebraic Representation, Dualities and Beyond (Q3299871) (← links)
- Correspondences between gentzen and hilbert systems (Q3410681) (← links)
- Literal-paraconsistent and literal-paracomplete matrices (Q3419671) (← links)
- Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas (Q3437039) (← links)
- On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics (Q4318163) (← links)
- A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412) (← links)
- Deduction-Detachment Theorem and Gentzen-Style Deductive Systems (Q4586413) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- Characterization of protoalgebraic k-deductive systems (Q4586420) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
- Universality of Logic (Q4608552) (← links)
- From Formal Theory of Knowledge to Non-Fregean Logic (Q4611706) (← links)
- Bounded distributive lattices with strict implication (Q4680368) (← links)
- (Q4792081) (← links)
- Logics of variable inclusion and the lattice of consequence relations (Q4994024) (← links)
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE (Q5015720) (← links)
- ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
- Algebraic semantics for the ‐fragment of and its properties (Q5108101) (← links)
- Equality Logic (Q5147753) (← links)
- A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)
- On Algebraisation of Superintuitionistic Predicate Logics (Q5214741) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS (Q5241233) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS (Q5251374) (← links)
- Homotopical Categories of Logics (Q5258961) (← links)
- CAPTURING CONSEQUENCE (Q5381040) (← links)
- AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS (Q5381042) (← links)
- Algebraization of logics defined by literal‐paraconsistent or literal‐paracomplete matrices (Q5387328) (← links)
- NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES (Q5402233) (← links)
- AGGREGATION AND IDEMPOTENCE (Q5414137) (← links)
- Categorical abstract algebraic logic: The categorical Suszko operator (Q5434205) (← links)
- Categorical abstract algebraic logic: The largest theory system included in a theory family (Q5485402) (← links)
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187) (← links)
- THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424) (← links)
- The Suszko operator relative to truth‐equational logics (Q6047682) (← links)
- The algebraic significance of weak excluded middle laws (Q6094135) (← links)
- On the logic of distributive nearlattices (Q6094160) (← links)
- Logics of upsets of De Morgan lattices (Q6140751) (← links)
- Birkhoff's and Mal'cev's theorems for implicational tonoid logics (Q6161952) (← links)
