Close menu
Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia
Sardinia region
Follow us on
Search Search in the site

Search results

Search Results

Results: 1-120 of 2185973

Edit research

Active filters:

Simili a: Metamathematics of fuzzy logic
Category: Testo
Handbook of mathematical fuzzy logic
Testo
Handbook of mathematical fuzzy logic
Handbook of mathematical fuzzy logic. Vol. 1
Testo
Handbook of mathematical fuzzy logic. Vol. 1
Handbook of mathematical fuzzy logic. Vol. 2
Testo
Handbook of mathematical fuzzy logic. Vol. 2
Logic, semantics, metamathematics : papers from 1923 to 1938
Testo
Logic, semantics, metamathematics : papers from 1923 to 1938

Tarski, Alfred

A first course in fuzzy logic
Testo
A first course in fuzzy logic

Nguyen, Hung T. <1944- >

Annals of pure and applied logic
Testo
Annals of pure and applied logic
Computational aspects of an order-sorted logic with term declarations
Testo
Computational aspects of an order-sorted logic with term declarations

Schmidt-Schauss, Manfred

Foundations of equational logic programming
Testo
Foundations of equational logic programming

Holldobler, Steffen

Logic, methodology and philosophy of science : proceedings of the 1964 international congress
Testo
Logic, methodology and philosophy of science : proceedings of the 1964 international congress
Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Testo
Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976

Logic colloquium [1976 ; Oxford]

Mathematical logic and the foundations of mathematics : an introductory survey
Testo
Mathematical logic and the foundations of mathematics : an introductory survey

Kneebone, G.T.

Foundations of logic programming
Testo
Foundations of logic programming

Lloyd, John Wylie

The bulletin of symbolic logic
Testo
The bulletin of symbolic logic
The Journal of symbolic logic
Testo
The Journal of symbolic logic
New studies in deontic logic : norms, actions, and the foundations of ethics
Testo
New studies in deontic logic : norms, actions, and the foundations of ethics
Logic colloquium '73 : proceedings of the logic colloquium Bristol, July 1973
Testo
Logic colloquium '73 : proceedings of the logic colloquium Bristol, July 1973

Logic colloquium [1973 ; Bristol]

COLOG-88 : International conference on Computer logic, Tallinn, USSR, December 12-16, 1988
Testo
COLOG-88 : International conference on Computer logic, Tallinn, USSR, December 12-16, 1988

International conference on Computer logic <1988

The Oxford Handbook of Philosophy of Mathematics and Logic
Testo
The Oxford Handbook of Philosophy of Mathematics and Logic
Logic programming '87 : proceedings of the 6. Conference, Tokyo, Japan, June 22-24, 1987
Testo
Logic programming '87 : proceedings of the 6. Conference, Tokyo, Japan, June 22-24, 1987
On the metamathematics of algebra
Testo
On the metamathematics of algebra

Robinson, Abraham

Proceedings of the fifth International congress of logic, methodology and philosophy of science, London, Ontario, Canada, 1975
Testo
Proceedings of the fifth International congress of logic, methodology and philosophy of science, London, Ontario, Canada, 1975

International congress of logic, methodology, and philosophy of science <5. ; 1975

Elements of mathematical logic
Testo
Elements of mathematical logic

Novikov, Petr Sergeevic

Logic programming '88 : proceedings of the 7. conference, Tokyo, Japan, April 11-14, 1988
Testo
Logic programming '88 : proceedings of the 7. conference, Tokyo, Japan, April 11-14, 1988
Handbook of mathematical logic
Testo
Handbook of mathematical logic
Logic at Botik '89 : Symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989
Testo
Logic at Botik '89 : Symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989

Symposium on Logical foundations of computer science <1989

Mathematical logic and applications : proceedings of the Logic meeting held in Kyoto, 1987
Testo
Mathematical logic and applications : proceedings of the Logic meeting held in Kyoto, 1987

Logic meeting <1987

The logic of choice : an investigation of the concepts of rule and rationality
Testo
The logic of choice : an investigation of the concepts of rule and rationality

Gottlieb, Gidon

An outline of mathematical logic : fundamental results and notion explained with all details
Testo
An outline of mathematical logic : fundamental results and notion explained with all details

Grzegorczyk, Andrzej

The language of first-order logic : including the Macintosh version of Tarskis World 4.0
Testo
The language of first-order logic : including the Macintosh version of Tarskis World 4.0

Barwise, Jon

Direct and converse theorems : the elements of symbolic logic
Testo
Direct and converse theorems : the elements of symbolic logic

Gradstejn, Izrail Solomonovic

Logic, cause & action : essays in honour of Elizabeth Anscombe
Testo
Logic, cause & action : essays in honour of Elizabeth Anscombe
Knowledge and belief : an introduction to the logic of the two notions
Testo
Knowledge and belief : an introduction to the logic of the two notions

Hintikka, Jaakko

Ways into the logic of Alexander of Aphrodisias
Testo
Ways into the logic of Alexander of Aphrodisias

Flannery, Kevin L.

Mathematical logic : a first course
Testo
Mathematical logic : a first course

Robbin, Joel W.

The language of logic
Testo
The language of logic

Freudenthal, Hans

Fuzzy sets and systems : theory and applications
Testo
Fuzzy sets and systems : theory and applications

Dubois, Didier

Philosophy of logic
Testo
Philosophy of logic

Quine, W. V.

Introduction to model theory and to the metamathematics of algebra
Testo
Introduction to model theory and to the metamathematics of algebra

Robinson, Abraham

Logic programming and automated reasoning : international conference LPAR '92
Testo
Logic programming and automated reasoning : international conference LPAR '92

International conference on logic programming and automated reasoning <3. ; 1992

Mathematical logic
Testo
Mathematical logic

Kleene, Stephen Cole

Methods in mathematical logic : proceedings of the 6. Latin American Symposium on mathematical logic held in Caracas, Venezuela, August 1-6, 1983
Testo
Methods in mathematical logic : proceedings of the 6. Latin American Symposium on mathematical logic held in Caracas, Venezuela, August 1-6, 1983

Latin American symposium on mathematical logic <6. ; 1983

The logic of Apuleius : including a complete Latin text and English translation of the Peri hermeneias of Apuleius of Madaura
Testo
The logic of Apuleius : including a complete Latin text and English translation of the Peri hermeneias of Apuleius of Madaura

Londey, David

Mathematical logic
Testo
Mathematical logic

Shoenfield, Joseph Robert

Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic and probability theory
Testo
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic and probability theory

Hailperin, Theodore

Logic, methodology and philosophy of science : proceedings of the 1960 International congress
Testo
Logic, methodology and philosophy of science : proceedings of the 1960 International congress
Elements of mathematical logic
Testo
Elements of mathematical logic

ukasiewicz, Jan

Formal methods : an introduction to simbolic logic and to the study of effective operations in arithmetic and logic
Testo
Formal methods : an introduction to simbolic logic and to the study of effective operations in arithmetic and logic

Beth, Evert Willem

Handbook of philosophical logic
Testo
Handbook of philosophical logic
Outline of a new system of logic, with a critical examination of Dr. Whatelys Elements of logic
Testo
Outline of a new system of logic, with a critical examination of Dr. Whatelys Elements of logic

Bentham, George <1800-1884>

Knowledge, language and logic : questions for Quine
Testo
Knowledge, language and logic : questions for Quine
CSL '88 : 2. Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988
Testo
CSL '88 : 2. Workshop on computer science logic, Duisburg, FRG, October 3-7, 1988

Workshop on computer science logic <2. ; 1988

The mathematics of metamathematics
Testo
The mathematics of metamathematics

Rasiowa, Helena

Aristotle's syllogistic from the standpoint of modern formal logic
Testo
Aristotle's syllogistic from the standpoint of modern formal logic

ukasiewicz, Jan

From logic design to logic programming : theorem proving techniques and P-functions
Testo
From logic design to logic programming : theorem proving techniques and P-functions

Snyers, Dominique

Defeasible deontic logic
Testo
Defeasible deontic logic
Philosophy of logic
Testo
Philosophy of logic

Quine, W. V.

The metamathematics of algebraic systems : collected papers
Testo
The metamathematics of algebraic systems : collected papers

Mal'cev, Anatolii Ivanovic <1909-1967>

CSL '87 : 1. Workshop on computer science logic, Karlsruhe, FRG, October 12-16, 1987
Testo
CSL '87 : 1. Workshop on computer science logic, Karlsruhe, FRG, October 12-16, 1987

Workshop on computer science logic <1. ; 1987

Contributions to logic and methodology in honor of J. M. Bocheński
Testo
Contributions to logic and methodology in honor of J. M. Bocheński
Elements of mathematical logic : (model theory)
Testo
Elements of mathematical logic : (model theory)

Kreisel, G.

Logic and social choice
Testo
Logic and social choice

Murakami, Yasusuke

Classification theory : proceedings of the US-Israel workshop on model theory in mathematical logic held in Chicago, Dec. 15-19, 1985
Testo
Classification theory : proceedings of the US-Israel workshop on model theory in mathematical logic held in Chicago, Dec. 15-19, 1985

US-Israel workshop on model theory in mathematical logic <1985

Cartesian logic : en essay on Descartess conception of inference
Testo
Cartesian logic : en essay on Descartess conception of inference

Gaukroger, Stephen

Introduction to mathematical logic
Testo
Introduction to mathematical logic

Mendelson, Elliott

The logic of the humanities
Testo
The logic of the humanities

Cassirer, Ernst

Temporal logic in specification : Altrincham, UK, April 8-10, 1987
Testo
Temporal logic in specification : Altrincham, UK, April 8-10, 1987
Foundations of logic and functional programming : Workshop, Trento, Italy, December 15-19, 1986
Testo
Foundations of logic and functional programming : Workshop, Trento, Italy, December 15-19, 1986
First-order logic
Testo
First-order logic

Smullyan, Raymond

Medieval logic : an outline of its development
Testo
Medieval logic : an outline of its development

Boehner, Philotheus <frate>

Problems of the logic of scientific knowledge
Testo
Problems of the logic of scientific knowledge
Introduction to logic
Testo
Introduction to logic

Suppes, Patrick

Buddhist logic and epistemology : studies in the buddhist analysis of inference and language
Testo
Buddhist logic and epistemology : studies in the buddhist analysis of inference and language
An algebraic introduction to mathematical logic
Testo
An algebraic introduction to mathematical logic

Barnes, Donald W. <1935->

Logic, methodology and philosophy of science 3. : proceedings of the third International congress for logic, methodology and philosophy of science
Testo
Logic, methodology and philosophy of science 3. : proceedings of the third International congress for logic, methodology and philosophy of science

International congress for logic, methodology and philosophy of science <3. ; 1967

Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (CIME) held at Montecatini Terme, Italy, June 20-28, 1988
Testo
Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (CIME) held at Montecatini Terme, Italy, June 20-28, 1988

Centro internazionale matematico estivo

Temporal logic : from ancient ideas to artificial intelligence
Testo
Temporal logic : from ancient ideas to artificial intelligence

hrstrøm, Peter

An essay in modal logic
Testo
An essay in modal logic

Wright, Georg Henrik : von

Estimating subjectivity of typologists and typological classification with fuzzy logic
Testo
Estimating subjectivity of typologists and typological classification with fuzzy logic

Hermon, Sorin

Estimating subjectivity of typologists and typological classification with fuzzy logic
Testo
Estimating subjectivity of typologists and typological classification with fuzzy logic

Hermon, Sorin

Logic and language : studies dedicated to professor Rudolf Carnap on the occasion of his seventieth birthday
Testo
Logic and language : studies dedicated to professor Rudolf Carnap on the occasion of his seventieth birthday
The philosophy of logic : 1880-1908
Testo
The philosophy of logic : 1880-1908

Bowne, G. D.

The logic of natural language
Testo
The logic of natural language

Sommers, Frederic Tamler

C++ neural networks and fuzzy logic
Testo
C++ neural networks and fuzzy logic

Rao, Valluru B.

Neural networks and fuzzy systems : a dynamical systems approach to machine intelligence
Testo
Neural networks and fuzzy systems : a dynamical systems approach to machine intelligence

Kosko, Bart

Medieval theories on assertive and non-assertive language : acts of the 14. European symposium on medieval logic and semantics
Testo
Medieval theories on assertive and non-assertive language : acts of the 14. European symposium on medieval logic and semantics

European symposium on medieval logic and semantics <14. ; 2002

The logic of chemical synthesis
Testo
The logic of chemical synthesis

Corey, E. J.

Displaying modal logic
Testo
Displaying modal logic

Wansing, Heinrich

Classics in logic : readings in epistemology, theory of knowledge and dialectics
Testo
Classics in logic : readings in epistemology, theory of knowledge and dialectics
Introduction to logic
Testo
Introduction to logic

Clark, Romane

Logic, methodology and philosophy of science 4. : proceedings of the 4. international congress for logic, methodology and philosophy of science, Bucharest, 1971
Testo
Logic, methodology and philosophy of science 4. : proceedings of the 4. international congress for logic, methodology and philosophy of science, Bucharest, 1971

International congress for logic methodology and phylosophy of science [4. ; 1971 ; Bucarest]

Fuzzy logic
Testo
Fuzzy logic

McNeill, Daniel

4: Historical and philosophical dimensions of logic, methodology and philosophy of science
Testo
4: Historical and philosophical dimensions of logic, methodology and philosophy of science

International congress of logic, methodology, and philosophy of science <5. ; 1975

4: Foundations of logic : 1903-05
Testo
4: Foundations of logic : 1903-05

Russell, Bertrand

The development of logic
Testo
The development of logic

Kneale, William Calvert

Automated analysis of legal texts : logic, informatics, law
Testo
Automated analysis of legal texts : logic, informatics, law

International conference on Logic, informatics, law <2. ; 1985

ISILC logic conference : proceedings of the international summer institute and logic colloquium, Kiel 1974
Testo
ISILC logic conference : proceedings of the international summer institute and logic colloquium, Kiel 1974

International summer institute and logic colloquium <1974

Introduction to symbolic logic and its applications
Testo
Introduction to symbolic logic and its applications

Carnap, Rudolf

Collected papers on mathematics, logic, and philosophy
Testo
Collected papers on mathematics, logic, and philosophy

Frege, Gottlob

Introduction to logic
Testo
Introduction to logic

Copi, Irving M.

Fuzzy logic and expert systems applications
Testo
Fuzzy logic and expert systems applications
Logic and metaphysics in Aristotle : Aristotleʼs treatment of types of equivocity and its relevance to his metaphysical theories
Testo
Logic and metaphysics in Aristotle : Aristotleʼs treatment of types of equivocity and its relevance to his metaphysical theories

Leszl, Walter

Algebraic logic
Testo
Algebraic logic

Halmos, Paul Richard

Logica fuzzy : teoria ed applicazioni
Testo
Logica fuzzy : teoria ed applicazioni

Veronesi, Massimiliano

A mathematical introduction to logic
Testo
A mathematical introduction to logic

Enderton, Herbert B.

Logica
Testo
Logica

Varzi, Achille C.

Probabilistic logic in a coherent setting
Testo
Probabilistic logic in a coherent setting

Coletti, Giulianella

Programming languages implementation and logic programming : International workshop PLILP '88, Orleans, France, May 16-18, 1988
Testo
Programming languages implementation and logic programming : International workshop PLILP '88, Orleans, France, May 16-18, 1988

International workshop PLILP <1. ; 1988

Logic and Knowledge : essays 1901-1950
Testo
Logic and Knowledge : essays 1901-1950

Russell, Bertrand

Guida alla logica modale
Testo
Guida alla logica modale

Hughes, George Edward

Galileo and the art of reasoning : rhetorical foundations of logic and scientific method
Testo
Galileo and the art of reasoning : rhetorical foundations of logic and scientific method

Finocchiaro, Maurice A.

Fundamentals of symbolic logic
Testo
Fundamentals of symbolic logic

Ambrose, Alice

Sets, models and recursion theory : proceedings of the Summer School in mathematical logic and tenth Logic Colloquium, Leicester, August-September 1965
Testo
Sets, models and recursion theory : proceedings of the Summer School in mathematical logic and tenth Logic Colloquium, Leicester, August-September 1965

Logic colloquium [10. ; 1965 ; Leicester]

A study of Hegel's logic
Testo
A study of Hegel's logic

Mure, Geoffrey

Logic and ethics
Testo
Logic and ethics
The mathematical analysis of logic : being an essay towards a calculus of deductive reasoning
Testo
The mathematical analysis of logic : being an essay towards a calculus of deductive reasoning

Boole, George

Truth and consequence in mediaeval logic
Testo
Truth and consequence in mediaeval logic

Moody, Ernest A.

Logica
Testo
Logica

Varzi, Achille C.

Logik, Wissenschaftstheorie und Erkenntnistheorie : Akten des 11. Internationalen Wittgenstein Symposiums, 4. bis 13. August 1986 Kirchberg am Wechsel (Osterreich)
Testo
Logik, Wissenschaftstheorie und Erkenntnistheorie : Akten des 11. Internationalen Wittgenstein Symposiums, 4. bis 13. August 1986 Kirchberg am Wechsel (Osterreich)

Internationales Wittgenstein Symposium <11. ; 1986

Annals of mathematical logic
Testo
Annals of mathematical logic
Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983
Testo
Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983

Logic colloquium <1983

1 2 3

Filter results

Close

Subjects

Indietro Avanti