The following pages link to Algebraizable logics (Q3815297):
Displaying 50 items.
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- Single chain completeness and some related properties (Q679807) (← links)
- An intriguing logic with two implicational connectives (Q698537) (← links)
- Logic for abstract hoop twist-structures (Q720755) (← links)
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics (Q744990) (← links)
- Data types over multiple-valued logics (Q752687) (← links)
- On the structure of varieties with equationally definable principal congruences. II (Q762523) (← links)
- Compatible operations on residuated lattices (Q763311) (← links)
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
- Standard completeness of Hájek basic logic and decompositions of BL-chains (Q816859) (← links)
- Generating the variety of BL-algebras (Q816867) (← links)
- Axiomatic extensions of IMT3 logic (Q817693) (← links)
- Categorical abstract algebraic logic: models of \(\pi\)-institutions (Q817965) (← links)
- De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics (Q830363) (← 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)
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results (Q876491) (← links)
- Product logic and probabilistic Ulam games (Q876494) (← links)
- Axiomatizing the skew Boolean propositional calculus (Q877820) (← links)
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← links)
- Some types of filters in residuated lattices (Q894672) (← links)
- Trakhtenbrot theorem and first-order axiomatic extensions of MTL (Q897476) (← links)
- The propositional logic induced by means of basic algebras (Q904478) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- An approach to Glivenko's theorem in algebraizable logics (Q931403) (← links)
- Boolean representation of bounded BCK-algebras (Q934913) (← links)
- Forcing in Łukasiewicz predicate logic (Q935024) (← links)
- Pavelka-style completeness in expansions of Łukasiewicz logic (Q937210) (← links)
- Monadic GMV-algebras (Q938237) (← links)
- Free equivalential algebras (Q952484) (← links)
- Ł\(\Pi\) logic with fixed points (Q953281) (← links)
- MV-algebras with internal states and probabilistic fuzzy logics (Q962839) (← links)
- Implicational (semilinear) logics. I: A new hierarchy (Q971883) (← links)
- Semisimplicity and the discriminator in bounded BCK-algebras (Q992009) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- Equivalents for a quasivariety to be generated by a single structure (Q1005982) (← links)
- Update to ``A survey of abstract algebraic logic'' (Q1005985) (← links)
- The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete (Q1006641) (← links)
- Taking degrees of truth seriously (Q1015492) (← links)
- Commutative basic algebras and non-associative fuzzy logics (Q1016506) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties (Q1035653) (← links)
- The logic of algebraic rules as a generalization of equational logic (Q1065789) (← links)
- Filter distributive logics (Q1066139) (← links)
- Strongly finitely based equational theories (Q1180703) (← links)
- \(C_ 1\) is not algebraizable (Q1182701) (← links)
- A deduction theorem schema for deductive systems of propositional logics (Q1189891) (← links)
- Algebraic logic for classical conjunction and disjunction (Q1189892) (← links)
