ON THE NUMBER OF NONISOMORPHIC MODELS IN LINFINI,K WHEN K IS WEAKLY COMPACTSHELAH S.1982; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1982; VOL. 23; NO 1; PP. 21-26; BIBL. 3 REF.Article

DEDUCTION THEOREMS IN LUKASIEWICZ PROPOSITIONAL CALCULIGUCCIONE S; TORTORA R; VACCARO V et al.1981; REND. SEMIN. MAT.; ISSN 0373-1243; ITA; DA. 1981; VOL. 39; NO 1; PP. 53-65; BIBL. 9 REF.Article

FORMALISATIONS OF FURTHER NO-VALUED LUKASIEWICZ PROPOSITIONAL CALCULI.ROSE A.1978; J. SYMBOL. LOGIC; USA; DA. 1978; VOL. 43; NO 2; PP. 207-210; BIBL. 9 REF.Article

A DEDUCTION THEOREM FOR REJECTION THESES IN LUKASIEWICZ'S SYSTEM OF MODAL LOGICKROLIKOSKI SJ.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 2; PP. 461-464; BIBL. 1 REF.Article

LUKASIEWICZ'S TWIN POSSIBILITY FUNCTORSKROLIKOSKI SJ.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 2; PP. 458-460Article

ALGEBRES IMPLICATIVES TRIVALENTES DE LUKASIEWICZ LIBRES.ITURRIOZ L; RUEDA O.1977; DISCRETE MATH.; NETHERL.; DA. 1977; VOL. 18; NO 1; PP. 35-44; BIBL. 7 REF.Article

Approximate truth and Łukasiewicz logicWESTON, T. S.Notre Dame journal of formal logic. 1988, Vol 29, Num 2, pp 229-234, issn 0029-4527Article

FUNCTIONAL GRAMMARS.LUKASZEWICZ L.1977; INFORM. PROCESSG LETTERS; NETHERL.; DA. 1977; VOL. 6; NO 5; PP. 146-150; BIBL. 5 REF.Article

Satisfiability in many-valued sentential logic is NP-completeMUNDICI, D.Theoretical computer science. 1987, Vol 52, Num 1-2, pp 145-153, issn 0304-3975Article

The ŁΠ and ŁΠ1/2 propositional and predicate logicsCINTULA, Petr.Fuzzy sets and systems. 2001, Vol 124, Num 3, pp 289-302, issn 0165-0114Article

A PREFISC OPERATOR FOR A SWITCHING ALGEBRA.MUZIO JC.1977; INTERNATION. J. COMPUTER INFORM. SCI.; U.S.A.; DA. 1977; VOL. 6; NO 2; PP. 151-163; BIBL. 1 P.Article

A temporal semantics for Nilpotent Minimum logicBIANCHI, Matteo.International journal of approximate reasoning. 2014, Vol 55, Num 1, pp 391-401, issn 0888-613X, 11 p., 4Conference Paper

Logics for belief functions on MV-algebrasFLAMINIO, Tommaso; GODO, Lluís; MARCHIONI, Enrico et al.International journal of approximate reasoning. 2013, Vol 54, Num 4, pp 491-512, issn 0888-613X, 22 p.Article

The nature of the Extended Analog ComputerMILLS, Jonathan W.Physica. D. 2008, Vol 237, Num 9, pp 1235-1256, issn 0167-2789, 22 p.Conference Paper

A triangular norm hierarchyCRETU, Eugen.Fuzzy sets and systems. 2001, Vol 120, Num 3, pp 371-383, issn 0165-0114Article

Fuzzy control theory : a nonlinear caseHAO YING; SILER, W; BUCKLEY, J. J et al.Automatica (Oxford). 1990, Vol 26, Num 3, pp 513-520, issn 0005-1098, 8 p.Article

Brouwer-Zadeh posets and three-valued Łkasiewicz posetsCATTANEO, G; NISTICO, G.Fuzzy sets and systems. 1989, Vol 33, Num 2, pp 165-190, issn 0165-0114Article

Completely continuous functions and R-map in fuzzifying topological spaceZAHRAN, A. M; SAYED, O. R; MOUSA, A. K et al.Fuzzy sets and systems. 2007, Vol 158, Num 4, pp 409-423, issn 0165-0114, 15 p.Article

On the failure of standard completeness in ΠMTL for infinite theoriesHORCIK, Rostislav.Fuzzy sets and systems. 2007, Vol 158, Num 6, pp 619-624, issn 0165-0114, 6 p.Conference Paper

Bookmaking over infinite-valued eventsMUNDICI, Daniele.International journal of approximate reasoning. 2006, Vol 43, Num 3, pp 223-240, issn 0888-613X, 18 p.Article

The coherence of Lukasiewicz assessments is NP-completeBOVA, Simone; FLAMINIO, Tommaso.International journal of approximate reasoning. 2010, Vol 51, Num 3, pp 294-304, issn 0888-613X, 11 p.Article

Complexity of fuzzy answer set programming under Łukasiewicz semanticsBLONDEEL, Marjon; SCHOCKAERT, Steven; VERMEIR, Dirk et al.International journal of approximate reasoning. 2014, Vol 55, Num 9, pp 1971-2003, issn 0888-613X, 33 p.Article

Extraction of fuzzy logic rules from data by means of artificial neural networksHOLENA, Martin.Kybernetika. 2005, Vol 41, Num 3, pp 297-314, issn 0023-5954, 18 p.Article

Page / 1