Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("LOGIQUE LUKASIEWICZ")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 26

  • Page / 2
Export

Selection :

  • and

SHORTEST SINGLE AXIOMS FOR THE CLASSICAL EQUIVALENTIAL CALCULUS.PETERSON JG.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 2; PP. 267-271; BIBL. 5 REF.Article

A MINIMAL BOOLEAN COMPLETION OF A THREE-VALUED LUKASIEWICZ ALGEBRAITURRIOZ L.1982; INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC. 12/1982-05-25/PARIS; USA; NEW YORK: IEEE; DA. 1982; PP. 22-26; BIBL. 11 REF.Conference Paper

DEUX PROPRIETES COMBINATOIRES DU LANGAGE DE LUKASIEWICZ.GOUYOU BEAUCHAMPS D.1975; REV. FR. AUTOMAT. INFORMAT. RECH. OPERAT., R, INFORMAT. THEOR.; FR.; DA. 1975; VOL. 9; NO 3; PP. 13-24; ABS. ANGL.; BIBL. 1 P.Article

SUPER-LUKASIEWICZ PROPOSITIONAL LOGICSKOMORI Y.1981; NAGOYA MATH. J.; ISSN 0027-7630; JPN; DA. 1981; VOL. 84; PP. 119-133; BIBL. 17 REF.Article

REPRESENTATION THEOREMS FOR LUKASIEWICZ ALGEBRASFILIPOIU A.1979; DISCRETE MATH.; NLD; DA. 1979; VOL. 27; NO 1; PP. 107-110; BIBL. 6 REF.Article

FUZZY INCLUSION AND FUZZY EQUALITY OF TWO FUZZY SUBSETS, FUZZY OPERATIONS FOR FUZZY SUBSETSWYGRALAK M.1983; FUZZY SETS AND SYSTEMS; ISSN 0165-0114; NLD; DA. 1983; VOL. 10; NO 2; PP. 157-168; BIBL. 18 REF.Article

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

POSSIBILITY SETS, FUZZY SETS AND THEIR RELATION TO NONLUKASIEWICZ LOGICPRADE H.1982; INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC. 12/1982-05-25/PARIS; USA; NEW YORK: IEEE; DA. 1982; PP. 223-227; BIBL. 16 REF.Conference Paper

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

NOUVELLE DEMONSTRATION DE LA COMPLETUDE DU SYSTEME DE WAJSBERG AXIOMATISANT LA LOGIQUE TRIVALENTE DE LUKASIEWICZBECCHIO D.1972; C.R. ACAD. SCI, A; FR.; DA. 1972; VOL. 275; NO 15; PP. 679-682; BIBL. 2 REF.Serial Issue

RELATIONS ENTRE LES ANNEAUX BOOLEIENS, LES ANNEAUX MONADIQUES ET LES ALGEBRES TRIVALENTES DE LUKASIEWICZMAYET R.1972; C.R. ACAD. SCI., A; FR.; DA. 1972; VOL. 275; NO 1; PP. 1-3; BIBL. 4 REF.Serial Issue

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

Fuzzy logic and arithmetical hierarchyHAJEK, P.Fuzzy sets and systems. 1995, Vol 73, Num 3, pp 359-363, issn 0165-0114Article

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

An asymptotically tight bound on countermodels for Łukasiewicz logicAGUZZOLI, Stefano.International journal of approximate reasoning. 2006, Vol 43, Num 1, pp 76-89, issn 0888-613X, 14 p.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

Consequence and complexity in infinite-valued logic: a surveyMARRA, Vincenzo; MUNDICI, Daniele.Proceedings - International Symposium on Multiple-Valued Logic. 2002, pp 104-114, issn 0195-623X, isbn 0-7695-1462-6, 11 p.Conference Paper

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 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

  • Page / 2