Pages that link to "Item:Q2856632"

The following pages link to The finite model property for semilinear substructural logics (Q2856632):

Displaying 17 items.

• Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity (Q283093) (← links)
• The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable (Q471162) (← links)
• The finite model property with respect to admissibility for superintuitionistic logic (Q1876415) (← links)
• The finite model property for the implicational fragment of IPC without exchange and contraction (Q1970644) (← links)
• Semilinear substructural logics with the finite embeddability property (Q1991589) (← links)
• The logic of pseudo-uninorms and their residua (Q2335051) (← 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)
• Finite models and full completeness (Q2753687) (← links)
• Finite models of some substructural logics (Q2776810) (← links)
• Finding Finite Models in Multi-sorted First-Order Logic (Q2818025) (← links)
• The finite model property for knotted extensions of propositional linear logic (Q3370755) (← links)
• A finite model property for RMImin (Q3418090) (← links)
• Semicomplemented Lattices and the Finite Model Property (Q3781076) (← links)
• (Q4856959) (← links)
• Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption (Q5111452) (← links)
• Substructural fuzzy logics (Q5422306) (← links)