Pages that link to "Item:Q971883"

The following pages link to Implicational (semilinear) logics. I: A new hierarchy (Q971883):

Displaying 24 items.

• Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity (Q283093) (← links)
• The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
• On an axiomatic system for the logic of linearly ordered BCI-matrices (Q412072) (← links)
• A note on natural extensions in abstract algebraic logic (Q495839) (← links)
• Strict core fuzzy logics and quasi-witnessed models (Q634776) (← links)
• Implicational (semilinear) logics. I: A new hierarchy (Q971883) (← links)
• On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions (Q1699738) (← links)
• Implicational (semilinear) logics. III: Completeness properties (Q1745358) (← links)
• Extension properties and subdirect representation in abstract algebraic logic (Q1756591) (← links)
• Neighborhood semantics for modal many-valued logics (Q1795204) (← links)
• Extending fuzzy logics with many hedges (Q1795208) (← links)
• Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393) (← links)
• Fuzzy sets and formal logics (Q2014418) (← links)
• Implicational tonoid logics: algebraic and relational semantics (Q2070425) (← links)
• Triangular norm based predicate fuzzy logics (Q2270233) (← links)
• Logics for finite \(\mathbf{UL}\) and \(\mathbf{IUL}\)-algebras are substructural fuzzy logics (Q2337882) (← links)
• A proof of the standard completeness for the involutive uninorm logic (Q2337894) (← links)
• A new hierarchy of infinitary logics in abstract algebraic logic (Q2363502) (← links)
• Weakening-free fuzzy logics with the connective \(\Delta\) (Q2391677) (← links)
• The finite model property for semilinear substructural logics (Q2856632) (← links)
• Consequence and Degrees of Truth in Many-Valued Logic (Q2948586) (← links)
• A Note on Saturated Models for Many-Valued Logics (Q3454724) (← links)
• (Q5084205) (← links)
• Birkhoff's and Mal'cev's theorems for implicational tonoid logics (Q6161952) (← links)