Formalizing falsification: Three delete operations

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):455-470 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

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

Through your library

Similar books and articles

Formalizing falsification: Three delete operations.Rüdiger Schätz - 1990 - Mathematical Logic Quarterly 36 (5):455-470.
Systems, inquiry, and the meanings of falsification.Ian I. Mitroff - 1973 - Philosophy of Science 40 (2):255-276.
Is Falsification Falsifiable?Ulf Persson - 2016 - Foundations of Science 21 (3):461-475.
Consistency Maintenance of Group/Ungroup Operations in Object-based Collaborative Graphical Editing Systems.Liping Gao & Fangyu Yu - 2015 - International Journal of Signal Processing, Image Processing and Pattern Recognition 8.
Nonmonotonic inference operations.Michael Freund & Daniel Lehmann - 1993 - Logic Journal of the IGPL 1 (1):23-68.
Falsificationism falsified.Sven Ove Hansson - 2006 - Foundations of Science 11 (3):275-286.

Analytics

Added to PP
2016-02-04

Downloads
27 (#504,088)

6 months
3 (#439,386)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Formalizing falsification: Three delete operations.Rüdiger Schätz - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):455-470.
Formalizing falsification: Three delete operations.Rüdiger Schätz - 1990 - Mathematical Logic Quarterly 36 (5):455-470.

Add more citations

References found in this work

A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.
Subjunctives, dispositions and chances.Isaac Levi - 1977 - Synthese 34 (4):423 - 455.

View all 8 references / Add more references