PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
1993 | 28 | 1 | 9-16
Tytuł artykułu

From two- to four-valued logic

Autorzy
Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
The purpose of this note is to show that a known and natural four-valued logic co-exists with classical two-valued logic in the familiar context of truth tables. The tool required is the power construction.
Słowa kluczowe
Rocznik
Tom
28
Numer
1
Strony
9-16
Opis fizyczny
Daty
wydano
1993
Twórcy
autor
  • Department of Mathematics, University of Cape Town, Rondebosch 7700, Cape Town, South Africa
Bibliografia
  • A. R. Anderson and N. D. Belnap, Jr. [1975], Entailment: The Logic of Relevance and Necessity, Vol. 1, Princeton Univ. Press.
  • N. D. Belnap [1976], How a computer should think, in: Contemporary Aspects of Philosophy, G. Ryle (ed.), Oriel Press, 30-56.
  • N. D. Belnap [1977], A useful four-valued logic], in: Modern Uses of Multiple-valued Logic, J. M. Dunn and G. Epstein (eds.), Reidel, Dordrecht, 8-37.
  • N. D. Belnap and J. M. Dunn [1981], Entailment and the disjunctive syllogism, in: Contemporary Philosophy: A New Survey, Vol. 1, G. Floistad and G. H. von Wright (eds.), Martinus Nijhoff, The Hague, 337-366.
  • C. Brink [1992], Power structures, to appear in Algebra Universalis.
  • C. Brink and J. Heidema [1987], A verisimilar ordering of theories phrased in a propositional language, British J. Philos. Sci. 38, 533-549.
  • M. Fitting [1989], Bilattices and the theory of truth, J. Philos. Logic 18, 225-256.
  • J. Fox [1990], Motivation and demotivation of a four-valued logic, Notre Dame J. Formal Logic 31 (1), 76-80.
  • H. Levesque [1984], A logic of implicit and explicit belief, in: Proceedings AAAI-84, Austin, TX, 198-202.
  • R. K. Meyer and E. Martin [1986], Logic on the Australian plan, J. Philos. Logic 15, 305-332.
  • P. F. Patel-Schneider [1989], A four-valued semantics for terminological logics, Artificial Intelligence 38, 319-351.
  • P. F. Patel-Schneider [199?], A decidable first-order logic for knowledge representation], manuscript, AI Principles Research Department, AT&T Bell Laboratories (October 1989). (Revised version from Proc. 9th Internat. Joint Conf. on AI (Los Angeles, California, 1985).) To appear in J. Automat. Reason.
  • H. Rasiowa [1974], An algebraic approach to non-classical logics, Stud. Logic Found. Math. 78, North-Holland, Amsterdam.
  • R. Sylvan [199?], On interpreting truth tables, and relevant truth table logic, to appear in Notre Dame J. Formal Logic.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-bcpv28z1p9bwm
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.