Strong and weak formal specifications

Behavioral and Brain Sciences 17 (4):668-668 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0140525x00036475

Links

PhilArchive



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

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

Strengths and weaknesses of weak and strong supervenience.Mark Moyer - unknown
Weak and global supervenience are strong.Mark Moyer - 2008 - Philosophical Studies 138 (1):125 - 150.
Various Concepts of “Supervenience” and Their Relations：A Comment on Kim’s Theory of Supervenience.Xiaoping Chen - 2011 - Frontiers of Philosophy in China 6 (2):316-333.
Strong versus weak quantum consequence operations.Jacek Malinowski - 1992 - Studia Logica 51 (1):113 - 123.
Perelman’s Interpretation of Reverse Probability Arguments as a Dialectical Mise en Abyme.Manfred Kraus - 2010 - Philosophy and Rhetoric 43 (4):362-382.
Total and partial predicates and the weak and strong interpretations.Youngeun Yoon - 1996 - Natural Language Semantics 4 (3):217-236.
Several possible systems of deontic weak and strong norms.Patrice Bailhache - 1980 - Notre Dame Journal of Formal Logic 21 (1):89-100.
Weak and global supervenience: Functional bark and metaphysical bite?Mark Moyer - 2000
On weak and strong validity of rules for the propositional calculus.V. Frederick Rickey - 1971 - Notre Dame Journal of Formal Logic 12 (1):115-116.
Weak supervenience and materialism.William E. Seager - 1988 - Philosophy and Phenomenological Research 48 (June):697-709.
Two Concepts of Law of Nature.Brendan Shea - 2013 - Prolegomena 12 (2):413-442.
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic.Beata Konikowska - 1990 - Studia Logica 49 (4):541 - 555.
Did Searle attack strong strong AI or weak strong AI?Aaron Sloman - 1986 - In Artificial Intelligence and its Applications. Chichester.
On the equivalence of strong and weak validity of rule schemes in the two-valued propositional calculus.Rangaswamy V. Setlur - 1970 - Notre Dame Journal of Formal Logic 11 (2):249-253.

Analytics

Added to PP
2014-01-20

Downloads
27 (#557,528)

6 months
6 (#431,022)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Aspects of the Theory of Syntax.Noam Chomsky - 1965 - Cambridge, MA, USA: MIT Press.
The sciences of the artificial.Herbert Alexander Simon - 1969 - [Cambridge,: M.I.T. Press.

View all 61 references / Add more references