scientific article
From MaRDI portal
Publication:3934374
zbMath0478.03019MaRDI QIDQ3934374
No author found.
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
semanticsfilterssyntaxresiduated latticesexternal logicelementary inclusiondownward theoreminternal logicsinternal quantifiersreduction of many-valued logic and model theory to two-sorted two-valued logic and model theoryspecial implicative algebras
Fuzzy logic; logic of vagueness (03B52) Logical aspects of lattices and related structures (03G10) Classical first-order logic (03B10) Other algebras related to logic (03G25) Many-valued logic (03B50) Abstract model theory (03C95)
Related Items (1)
This page was built for publication:
