Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages

Logic Journal of the IGPL 13 (4):415-433 (2005)
  Copy   BIBTEX

Abstract

The purpose of this article is to clarify the role that many-valued logic can or should play in formal specification of software systems for modeling partiality. We analyse a representative set of specification languages. Our findings suggest that many-valued logic is less useful for modeling those aspects of partiality, for which it is traditionally intended: modeling non-termination and error values. On the other hand, many-valued logic is emerging as a mainstream tool in abstraction of formal analyses of various kinds, and we suggest that specification languages feature many-valued abstraction logics

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzi032

Links

PhilArchive



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

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

Logic and Specification: Extending VDM-SL for Advanced Formal Specification.Cornelis A. Middelburg - 1993
Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus.Beata Konikowska - 1993 - Journal of Applied Non-Classical Logics 3 (1):39-71.
Definition-like Extensions by Sorts.Claudia Maria & Paulo S. Veloso - 1995 - Logic Journal of the IGPL 3 (4):579-595.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
The consistency of the axioms of abstraction and extensionality in a three-valued logic.Ross T. Brady - 1971 - Notre Dame Journal of Formal Logic 12 (4):447-453.
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
Note on a six-valued extension of three-valued logic.Josep M. Font & Massoud Moussavi - 1993 - Journal of Applied Non-Classical Logics 3 (2):173-187.
The Expressive Unary Truth Functions of n -valued Logic.Stephen Pollard - 2005 - Notre Dame Journal of Formal Logic 46 (1):93-105.
Truth and the Liar in De Morgan-Valued Models.Hannes Leitgeb - 1999 - Notre Dame Journal of Formal Logic 40 (4):496-514.
A three-valued free logic for presuppositional languages.Robert J. Cosgrove - 1980 - Notre Dame Journal of Formal Logic 21 (3):549-571.
Algorithmic logic. Multiple-valued extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
Kleene's three valued logics and their children.Melvin Fitting - unknown
The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in a three-valued logic.Ross T. Brady - 1972 - Notre Dame Journal of Formal Logic 13 (2):161-176.
Bilattices and the Semantics of Logic Programming.Melvin Fitting - unknown

Analytics

Added to PP
2015-02-04

Downloads
10 (#1,191,137)

6 months
1 (#1,467,486)

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

On notation for ordinal numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
Bilattices are nice things.Melvin Fitting - 2006 - In T. Bolander, V. Hendricks & S. A. Pedersen (eds.), Self-Reference. CSLI Publications.
Fixed point logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.

Add more references