A Jaśkowski-style system of computer-assisted reasoning

In Jan Wolenski (ed.), Philosophical Logic in Poland. Kluwer Academic Publishers. pp. 85--101 (1994)
  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: 92,682

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

Cognitive Style, Gender, Attitude toward Computer‐assisted Learning and Academic Achievement.Reda Abouserie, Dennis Moss & Stephen Barasi - 1992 - Educational Studies 18 (2):151-160.
Kripke-style semantics for Jaskowski's system qf.Max Urchs - 1981 - Bulletin of the Section of Logic 10 (1):24-28.
Computer-Assisted Decision Making in Medicine.J. C. Kunz, E. H. Shortliffe, B. G. Buchanan & E. A. Feigenbaum - 1984 - Journal of Medicine and Philosophy 9 (2):135-160.
Computer-assisted decision making in medicine.A. Feigenbaum Edward - 1984 - Journal of Medicine and Philosophy 9 (2).
Argument Schemes in Computer System Safety Engineering.Tangming Yuan & Tim Kelly - 2011 - Informal Logic 31 (2):89-109.
What kind of expert should a system be?Paul E. Johnson - 1983 - Journal of Medicine and Philosophy 8 (1):77-97.
Experimental mathematics, computers and the a priori.Mark McEvoy - 2013 - Synthese 190 (3):397-412.
A multimodal logic for reasoning about complementarity.Ivo Düntsch & Beata Konikowska - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):273-301.
Systems of Computer-Aided Reasoning for Mathematics and Natural Language.Witold Marciszewski - 1987 - In Jan T. J. Srzednicki (ed.), Initiatives in Logic. M. Nijhoff. pp. 207--223.
The epistemological status of computer-assisted proofs.Mark McEvoy - 2008 - Philosophia Mathematica 16 (3):374-387.
Recenzje.Stanisŀaw Jaśkowski, Zygmunt Ziembiński & Witold Marciszewski - 1965 - Studia Logica 16 (1):117-122.
Criteria for Evaluating a Computer Aid to Clinical Reasoning.C. Whitbeck & R. Brooks - 1983 - Journal of Medicine and Philosophy 8 (1):51-66.
Automation of legal sensemaking in e-discovery.Christopher Hogan, Robert S. Bauer & Dan Brassil - 2010 - Artificial Intelligence and Law 18 (4):431-457.

Analytics

Added to PP
2014-01-30

Downloads
9 (#1,270,522)

6 months
5 (#686,768)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Witold Marciszewski
Warsaw University

Citations of this work

Add more citations

References found in this work

No references found.

Add more references