Pages that link to "Item:Q1271879"
From MaRDI portal
The following pages link to The complexity of McNaughton functions of one variable (Q1271879):
Displaying 7 items.
- On the failure of the finite model property in some fuzzy description logics (Q549343) (← links)
- Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems (Q853469) (← links)
- Word problems in Elliott monoids (Q1669037) (← links)
- On normal forms in Łukasiewicz logic (Q1882628) (← links)
- An efficient algorithm for representing piecewise linear functions into logic (Q2229157) (← links)
- A discrete free MV-algebra over one generator (Q4443012) (← links)
- Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability (Q5889305) (← links)