Integrating computer algebra and reasoning through the type system of Aldor

&
In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of Combining Systems. Research Studies Press. pp. 136--150 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Type-Decomposition of a Synaptic Algebra.David J. Foulis & Sylvia Pulmannová - 2013 - Foundations of Physics 43 (8):948-968.
Argument Schemes in Computer System Safety Engineering.Tangming Yuan & Tim Kelly - 2011 - Informal Logic 31 (2):89-109.
Parmenides of Elea.Vladimir Lobovikov - 2008 - Proceedings of the Xxii World Congress of Philosophy 2:141-147.
Reasoning about partial functions with the aid of a computer.William M. Farmer - 1995 - Erkenntnis 43 (3):279 - 294.
What kind of expert should a system be?Paul E. Johnson - 1983 - Journal of Medicine and Philosophy 8 (1):77-97.
Integrating working and learning: Two models of computer support. [REVIEW]Tamara Sumner & Markus Stolze - 1996 - AI and Society 10 (1):70-78.
Approximation Logic and Strong Bunge Algebra.Michiro Kondo - 1995 - Notre Dame Journal of Formal Logic 36 (4):595-605.
Storage Operators and ∀‐positive Types in TTR Type System.Karim Nour - 1996 - Mathematical Logic Quarterly 42 (1):349-368.
System Description: Analytica 2.Michael Kohlhase - unknown
A correspondence between Martin-löf type theory, the ramified theory of types and pure type systems.Fairouz Kamareddine & Twan Laan - 2001 - Journal of Logic, Language and Information 10 (3):375-402.
A Gentzen system for conditional logic.Fernando Guzmán - 1994 - Studia Logica 53 (2):243 - 257.
On łukasiewicz-moisil algebras of fuzzy sets.Sergiu Rudeanu - 1993 - Studia Logica 52 (1):95 - 111.
Using computer algebra to determine rate constants in biochemistry.M. Bayram, J. P. Bennett & M. C. Dewar - 1993 - Acta Biotheoretica 41 (1-2):53-62.

Analytics

Added to PP
2014-01-27

Downloads
26 (#608,273)

6 months
1 (#1,464,097)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Simon Thompson
University of the West of England

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references