Listing 1 - 10 of 24 | << page >> |
Sort by
|
Choose an application
Mathematics --- Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Periodicals --- Périodiques --- Logique symbolique et mathématique --- #FHIW:CAT1 --- Mathematical Sciences --- Applied Mathematics --- General and Others --- Mathematical Analysis & Logic
Choose an application
Logic --- Reasoning --- Logique --- Raisonnement --- Periodicals. --- Périodiques --- Logic. --- Reasoning. --- Mathematical Sciences --- Mathematical Analysis & Logic
Choose an application
Philosophy --- Artificial intelligence --- Computer science --- Logic, Symbolic and mathematical --- Cognitive science --- Intelligence artificielle --- Informatique --- Logique symbolique et mathématique --- Sciences cognitives --- Periodicals. --- Périodiques --- Logique symbolique et mathématique --- Periodicals --- Arts and Humanities --- Information Technology --- General and Others
Choose an application
The Journal of Philosophical Logic provides a forum for work at the crossroads of philosophy and logic, old and new, with contributions ranging from conceptual to technical. Accordingly, the Journal invites papers in all of the traditional areas of philosophical logic, including but not limited to: various versions of modal, temporal, epistemic, and deontic logic; constructive logics; relevance and other sub-classical logics; many-valued logics; logics of conditionals; quantum logic; decision theory, inductive logic, logics of belief change, and formal epistemology; defeasible and nonmonotonic logics; formal philosophy of language; vagueness; and theories of truth and validity. In addition to publishing papers on philosophical logic in this familiar sense of the term, the Journal also invites papers on extensions of logic to new areas of application, and on the philosophical issues to which these give rise. The Journal places a special emphasis on the applications of philosophical logic in other disciplines, not only in mathematics and the natural sciences but also, for example, in computer science, artificial intelligence, cognitive science, linguistics, jurisprudence, and the social sciences, such as economics, sociology, and political science.
Logic --- Philosophy --- Logique --- Philosophie --- Periodicals --- Périodiques --- Logic. --- Philosophy. --- #FHIW:CAT1 --- Arts and Humanities --- Mathematical Sciences --- Arts and Humanities. --- Mathematical Sciences. --- Logica.
Choose an application
The Journal of Logic and Algebraic Programming is an international journal whose aim is to publish original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and echniques for programming in its broadest sense. Topics of interest to the journal include : logic programming, constraint programming, abstract data types classes and objects components, process algebra and pi-calculus, term rewriting, lambda calculus, algebraic specification and verification of systems algebraic methods for syntax and semantics, applications of algebras, categories, domains, topological spaces and co-algebras to programming applications of proof theory and model theory to programming, programming with topological data types.
Programming --- Logic programming --- Computer programming --- Programmation logique --- Programmation (Informatique) --- Periodicals. --- Periodicals --- Périodiques --- Périodiques. --- Mathematical Sciences --- Algebra --- Algebraic Geometry --- Applied Mathematics --- General and Others --- Mathematical Analysis & Logic
Choose an application
Electronic digital computers --- Logic circuits --- Logic design --- Ordinateurs --- Circuits logiques --- Structure logique --- Circuits --- programmeerbare logica --- digitale technieken --- systeemontwerp --- architectuur (informatica) --- Computer architecture. Operating systems
Choose an application
Mathematics --- Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Periodicals --- Périodiques --- Logique symbolique et mathématique --- Wiskundige logica. --- Information Technology --- Artificial Intelligence --- General and Others --- Modelling & Simulation --- Neural Networks --- Mathematical Analysis & Logic --- Mathematical Sciences --- Applied Mathematics --- Information Technology. --- Mathematical Analysis & Logic. --- Mathematical Sciences. --- Périodiques --- EJMATHE ELSEVIER-E EPUB-ALPHA-A EPUB-PER-FT
Choose an application
A journal for the publication of original research papers on mathematical logic, foundations of mathematics and related areas such as General Logic, Model Theory, Recursion Theory, Set Theory, Proof Theory and Constructive Mathematics, Algebraic Logic, Nonstandard Models, and Logical Aspects of Theoretical Computer Science.
Mathematics --- Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Mathématiques --- Periodicals. --- Périodiques --- Logique symbolique et mathématique --- Mathématiques --- #FHIW:CAT --- #FHIW:CAT1 --- Periodicals --- Information Technology --- Mathematical Sciences --- Computer Architecture, Languages and Compilers --- General and Others --- Applied Mathematics --- Logic [Symbolic and mathematical ]
Choose an application
Mathematics --- Algebraic logic --- Algebra --- Logic, Symbolic and mathematical --- Logique algébrique --- Algèbre --- Logique symbolique et mathématique --- Periodicals. --- Périodiques --- Algebra. --- Logica. --- Mathematical Sciences --- General and Others --- Applied Mathematics --- Mathematical Sciences. --- General and Others. --- Algebraic logic. --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Mathematical analysis --- Logic.
Choose an application
Here, in a new edition, is Nelson Goodmans provocative philosophical classica book that, according to Science, raised a storm of controversy when it was first published in 1954, and one that remains on the front lines of philosophical debate. How is it that we feel confident in generalizing from experience in some ways but not in others? How are generalizations that are warranted to be distinguished from those that are not? Goodman shows that these questions resist formal solution and his demonstration has been taken by nativists like Chomsky and Fodor as proof that neither scientific induction nor ordinary learning can proceed without an a priori, or innate, ordering of hypotheses.
Logic --- Philosophy of science --- wetenschapsfilosofie --- logica --- Conditionals (Logic) --- Forecasting --- Induction (Logic) --- Possibility --- Science --- -Natural science --- Science of science --- Sciences --- Philosophy --- Inductive logic --- Logic, Inductive --- Reasoning --- Forecasts --- Futurology --- Prediction --- Conditional statements (Logic) --- Grammar, Comparative and general --- Forecasting. --- Possibility. --- Conditionnels (Logique) --- Prévision --- Induction (Logique) --- Possibilité --- Philosophy. --- Philosophie --- -Philosophy --- -Logic --- Natural science --- Prévision --- Possibilité --- -Inductive logic --- Normal science --- Wetenschapsfilosofie --- Logica
Listing 1 - 10 of 24 | << page >> |
Sort by
|