The following pages link to Equivalential logics. I (Q1159628):
Displayed 46 items.
- Boolean-like algebras (Q353355) (← links)
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited (Q368481) (← links)
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- Fregean logics (Q598302) (← links)
- Possible worlds in use (Q647416) (← links)
- Some theorems on structural entailment relations (Q798645) (← links)
- Logical matrices and the amalgamation property (Q800348) (← links)
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
- Categorical abstract algebraic logic: models of \(\pi\)-institutions (Q817965) (← links)
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← links)
- Filter distributive logics (Q1066139) (← links)
- Sentential logics and Maehara interpolation property (Q1076010) (← links)
- Matrices, primitive satisfaction and finitely based logics (Q1080413) (← links)
- Algebraic aspects of deduction theorems (Q1087867) (← links)
- Equivalential logics. II (Q1167714) (← links)
- Strong versus weak quantum consequence operations (Q1194110) (← links)
- Algebraic study of Sette's maximal paraconsistent logic (Q1344874) (← links)
- On elementary equivalence for equality-free logic (Q1355131) (← links)
- Singulary extensional connectives: A closer look (Q1362590) (← links)
- Synonymous logics (Q1404389) (← links)
- Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms (Q1778066) (← links)
- Replacement in logic (Q1947034) (← links)
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- General theory of the commutator for deductive systems. I: Basic facts (Q2433100) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Lattice-theoretic properties of algebras of logic (Q2448299) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- Equivalential and algebraizable logics (Q2563460) (← links)
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity (Q2642521) (← links)
- Choice of primitives: A note on axiomatizing intuitionistic logic (Q2757960) (← links)
- Semi-linear Varieties of Lattice-Ordered Algebras (Q2948590) (← links)
- JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS (Q3224048) (← links)
- Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems (Q3525204) (← links)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- Characterization of protoalgebraic k-deductive systems (Q4586420) (← links)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE (Q5015720) (← links)
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS (Q5059925) (← links)
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187) (← links)
- On free annotated algebras (Q5935994) (← links)
- Abstract algebraic logic. An introductory chapter (Q6120603) (← links)
- Intuitionistic logic is a connexive logic (Q6127186) (← links)
- Protoalgebraic logics (Q6364601) (← links)