A new field: Empirical logic bioprograms, logemes and logics as institutions

Synthese 63 (3):375 - 388 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00485602

Links

PhilArchive



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

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

Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
Substructural Logics.Greg Restall - forthcoming - Stanford Encyclopedia of Philosophy.
A study of logics.John P. Cleave - 1991 - New York: Oxford University Press.
Abstract logics, logic maps, and logic homomorphisms.Steffen Lewitzka - 2007 - Logica Universalis 1 (2):243-276.
Combining logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.
An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.
Normal monomodal logics can simulate all others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
A universal logic approach to adaptive logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
Is “some-other-time” sometimes better than “sometime” for proving partial correctness of programs?Ildikó Sain - 1988 - Studia Logica 47 (3):279 - 301.
A new field: Empirical logic bioprograms, logemes and logics as institutions.E. M. Barth - 1984 - Synthese 58 (2):375 - 388.

Analytics

Added to PP
2009-01-28

Downloads
67 (#242,887)

6 months
1 (#1,471,493)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Rise of Informal Logic: Essays on Argumentation, Critical Thinking, Reasoning, and Politics.Ralph Henry Johnson - 1996 - Newport, VA, USA: Vale Press. Edited by J. Anthony Blair, Trudy Govier, Leo Groarke, John Hoaglund & Christopher W. Tindale.

View all 6 citations / Add more citations

References found in this work

The nature of mathematical knowledge.Philip Kitcher - 1983 - Oxford: Oxford University Press.
The mathematical experience.Philip J. Davis - 1982 - Boston: Birkhäuser. Edited by Reuben Hersh & Elena Marchisotto.
From axiom to dialogue: a philosophical study of logics and argumentation.E. M. Barth - 1982 - New York: W. de Gruyter. Edited by E. C. W. Krabbe.
The foundations of mathematics.Evert Willem Beth - 1959 - Amsterdam,: North-Holland Pub. Co..

View all 9 references / Add more references