Science-advisor
REGISTER info/FAQ
Login
username
password
     
forgot password?
register here
 
Research articles
  search articles
  reviews guidelines
  reviews
  articles index
My Pages
my alerts
  my messages
  my reviews
  my favorites
 
 
Stat
Members: 2980
Articles: 2'029'581
Articles rated: 2577

18 January 2021
 
  » search

 Search for articles, messages and online reviews


Search in 2'029'581 articles.


Results 1 to 20 of 1'109 for query "Logic math". (0.08 sec.)

[    1    2    3    4    5    10    ]   Next
1.
Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic
Matthias Baaz; Richard Zach;
18 May 2000   /  Clote, Peter G., and Helmut Schwichtenberg (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Fischbachau, Germany, August 21-26, 2000. Proceedings, pp. 187-201. Springer, Berlin, 2000
- - -
2.
A Unifying Field in Logics: Neutrosophic Logic
Florentin Smarandache;
28 Dec 2000   /  "A Unifying Field in Logics: Neutrosophic Logic", by Florentin Smarandache, Preface by Charles Le, American Research Press, Rehoboth, 1999, 2000
- - -
3.
Deterministic modal Bayesian Logic: derive the Bayesian within the modal logic T
Frederic Dambreville;
12 Sep 2005
- - -
4.
Logic of Dynamics & Dynamics of Logic; Some Paradigm Examples
Bob Coecke; David J. Moore; Sonja Smets;
8 Jun 2001
- - -
5.
Deterministic modal Bayesian Logic: derive the Bayesian inference within the modal logic T
Frederic Dambreville;
28 Jan 2007
- - -
6.
Stability and Paradox in Algorithmic Logic
Wayne Aitken; Jeffrey A. Barrett;
28 Dec 2005
- - -
7.
Recursive logic frames
Saharon Shelah; Jouko Väänänen;
1 May 2004
- - -
8.
Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic
Michael O'Connor;
22 Feb 2007
- - -
9.
The Informal Logic of Mathematical Proof
Andrew Aberdein;
19 Jun 2003
- - -
10.
Neutrosophic Logic - Generalization of the Intuitionistic Fuzzy Logic
Florentin Smarandache;
1 Mar 2003   /  Published in Proceedings of the Third Conference of the European Society for Fuzzy Logic and Technology>, 10-12 September 2003, University of Applied Sciences, Zittau/Görlitz, Germany, EUSFLAT 2003, 141-146.
- - -
11.
Neutrosophic Logic - Generalization of the Intuitionistic Fuzzy Logic
Florentin Smarandache;
1 Mar 2003   /  Published in Proceedings of the Third Conference of the European Society for Fuzzy Logic and Technology>, 10-12 September 2003, University of Applied Sciences, Zittau/Görlitz, Germany, EUSFLAT 2003, 141-146.
- - -
12.
Logic: A Misleading Concept. A Contradiction Study toward Agent's Logic
Feng Liu; Florentin Smarandache;
29 Nov 2002   /  "Libertas Mathematica", University of Texas at Arlington, Vol. XXII, pp. 175-187, 2002
- - -
13.
Quantified propositional Goedel logics
Matthias Baaz; Agata Ciabattoni; Richard Zach;
17 Jun 2000   /  Michel Parigot, Andrei Voronkov (Eds.): Logic for Programming and Automated Reasoning. 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000. Lecture Notes in Computer Science, Vol. 1955, Springer, 2000. pp. 240-256
- - -
14.
Classical Logic = Fibred MLL
Dominic Hughes;
1 Apr 2005
- - -
15.
Proceedings of the First International Conference on Neutrosophy, Neutrosophic Logic, Neutrosophic Set, Neutrosophic Probability and Statistics
Florentin Smarandache; Jean Dezert; Andrzej Buller; M. Khoshnevisan; S. Singh; Feng Liu; Gh. C. Dinulescu-Campina; Chris Lucas; C. Gershenson;
26 Jun 2003   /  Published by Xiquan, Phoenix, 2002
- - -
16.
A Delta^2_2 well-order of the reals and incompactness of L(Q^{MM})
Uri Abraham; Saharon Shelah;
18 Dec 1998   /  Ann. Pure Appl. Logic 59 (1993), 1--32
- - -
17.
Modelling Linear Logic Without Units (Preliminary Results)
Robin Houston; Dominic Hughes; Andrea Schalk;
3 Apr 2005
- - -
18.
Quantum logic as motivated by quantum computing
J. Michael Dunn; Tobias J. Hagge; Lawrence S. Moss; Zhenghan Wang;
7 Dec 2004
- - -
19.
A Calculus of Inconsistency I: Sentential Logic
Dan Seabold; Stefan Waner; Steve Warner;
2 Sep 2004
- - -
20.
Grothendieck rings of mathbb{Z}-valued fields
Raf Cluckers; Deirdre Haskell;
25 Nov 2003   /  Bull. Symbolic Logic 7 (2001), 262--269
- - -

[ 1 2 3 4 5 10 ]   Next





ScienXe.org
» my Online CV
» Free


News, job offers and information for researchers and scientists:
home  |  contact  |  terms of use  |  sitemap
Copyright © 2005-2021 - Scimetrica