substructural
Look at other dictionaries:
substructural — substructural, ale, aux [sypstʀyktyʀal, o] adj. ÉTYM. XXe; de sub , et structural. ❖ ♦ Didact. Se dit d une topographie produite par un phénomène d érosion, lorsque celui ci a partiellement entaillé la couche supérieure dure (dans une série de… … Encyclopédie Universelle
Substructural logic — In mathematical logic, in particular in connection with proof theory, a number of substructural logics have been introduced, as systems of propositional calculus that are weaker than the conventional one. They differ in having fewer structural… … Wikipedia
substructural — adjective see substructure … New Collegiate Dictionary
substructural — adjective Of or pertaining to a substructure … Wiktionary
substructural — sub·structural … English syllables
substructural — |səb+ adjective : of, relating to, or constituting a substructure * * * substrucˈtural adjective • • • Main Entry: ↑substruct … Useful english dictionary
substructure — substructural, adj. /sub struk cheuhr, sub struk /, n. 1. a structure forming the foundation of a building or other construction. 2. the foundations, piers, and abutments upon which the trusses or girders of the spans of a bridge rest. 3. any… … Universalium
T-norm fuzzy logics — are a family of non classical logics, informally delimited by having a semantics which takes the real unit interval [0, 1] for the system of truth values and functions called t norms for permissible interpretations of conjunction. They are mainly … Wikipedia
Ivan Orlov — Orlov, Ivan Efimovich (October 1 (old style) 1886 Galich, Kostroma district Russia – 1936) was a philosopher, a forerunner of relevant and other substructural logics, and an industrial chemist. The date of his death is unknown but is believed to… … Wikipedia
BL (logic) — Basic fuzzy Logic (or shortly BL), the logic of continuous t norms, is one of t norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices;Ono (2003).] it extends the logic of all left continuous… … Wikipedia
