Pages that link to "Item:Q1422446"
From MaRDI portal
The following pages link to A survey of abstract algebraic logic (Q1422446):
Displayed 43 items.
- On an axiomatic system for the logic of linearly ordered BCI-matrices (Q412072) (← links)
- Representations of structural closure operators (Q627430) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- Canonical extensions for congruential logics with the deduction theorem (Q636384) (← links)
- Leibniz-linked pairs of deductive systems (Q647411) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Possible worlds in use (Q647416) (← links)
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
- Categorical abstract algebraic logic: models of \(\pi\)-institutions (Q817965) (← links)
- Triangle algebras: A formal logic approach to interval-valued residuated lattices (Q835104) (← links)
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth (Q850803) (← links)
- Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems (Q854961) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← links)
- Logics with disjunction and proof by cases (Q938238) (← links)
- Free equivalential algebras (Q952484) (← links)
- Implicational (semilinear) logics. I: A new hierarchy (Q971883) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- Update to ``A survey of abstract algebraic logic'' (Q1005985) (← links)
- Taking degrees of truth seriously (Q1015492) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- Willem Blok's contribution to abstract algebraic logic (Q2433093) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Fuzzy logics as the logics of chains (Q2492309) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- On two fragments with negation and without implication of the logic of residuated lattices (Q2501164) (← links)
- Categorical abstract algebraic logic: Partially ordered algebraic systems (Q2502179) (← links)
- Weakly implicative (fuzzy) logics. I: Basic properties (Q2505501) (← links)
- Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach (Q2506098) (← links)
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity (Q2642521) (← links)
- Quasi-subtractive varieties (Q3107353) (← links)
- On theories and models in fuzzy predicate logics (Q3410679) (← links)
- Correspondences between gentzen and hilbert systems (Q3410681) (← links)
- Glivenko theorems for substructural logics over FL (Q3416119) (← links)
- Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors (Q3430283) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- Algebraic Valuations as Behavioral Logical Matrices (Q3638271) (← links)
- Behavioral algebraization of da Costa's <i>C</i>-systems (Q3647293) (← links)
- Behavioural reasoning for conditional equations (Q5430141) (← links)
- Free spectra of linear equivalential algebras (Q5486254) (← links)
- Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence (Q5505141) (← links)