Pages that link to "Item:Q1422446"
From MaRDI portal
The following pages link to A survey of abstract algebraic logic (Q1422446):
Displaying 50 items.
- The logic of distributive nearlattices (Q1797923) (← links)
- Minimally generated abstract logics (Q1931337) (← links)
- Theory of completeness for logical spaces (Q1931338) (← links)
- Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393) (← links)
- Judgment aggregation in nonmonotonic logic (Q1990001) (← links)
- The poset of all logics. III: Finitely presentable logics (Q2046877) (← links)
- An alternative proof of the Hilbert-style axiomatization for the \(\{\wedge,\vee\}\)-fragment of classical propositional logic (Q2155505) (← links)
- The structure of completely meet irreducible congruences in strongly Fregean algebras (Q2159489) (← links)
- Logics of left variable inclusion and Płonka sums of matrices (Q2219088) (← links)
- Rotation logics (Q2219165) (← links)
- Beyond Rasiowan systems: unital deductive systems (Q2254559) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Algebraic analysis of demodalised analytic implication (Q2295595) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- \(M\)-sets and the representation problem (Q2350212) (← links)
- On some semi-intuitionistic logics (Q2352456) (← links)
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) (← links)
- A new hierarchy of infinitary logics in abstract algebraic logic (Q2363502) (← 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)
- Abstract logics, logic maps, and logic homomorphisms (Q2470758) (← 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)
- COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC (Q3188323) (← 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)
- A logical approach to abstract algebra (Q3422024) (← links)
- Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors (Q3430283) (← links)
- An Abstract Algebraic Logic View on Judgment Aggregation (Q3457691) (← 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)
- Algebraic polymodal logic: a survey (Q4511600) (← links)
- A comparison between monoidal and substructural logics (Q4586159) (← links)
- A Mathematical Life (Q4586411) (← links)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412) (← links)
- A short overview of Hidden Logic (Q4586416) (← 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)
- ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS (Q4909150) (← links)
