A knowledge representation based on the Belnap's four-valued logic

&
Journal of Applied Non-Classical Logics 3 (2):189-203 (1993)
  Copy   BIBTEX

Abstract

No abstract

Categories

Keywords

Reprint years

DOI

10.1080/11663081.1993.10510807

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,459

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

Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions.Alexej P. Pynko - 1999 - Journal of Applied Non-Classical Logics 9 (1):61-105.
The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic.José M. Méndez & Gemma Robles - 2016 - Journal of Applied Non-Classical Logics 26 (1):47-68.
A decompositional deduction system for a logic featuring inconsistency and uncertainty.Beata Konikowska - 2005 - Journal of Applied Non-Classical Logics 15 (1):25-44.
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.
Bilattices and the Semantics of Logic Programming.Melvin Fitting - unknown
Game theoretical semantics for some non-classical logics.Can Başkent - 2016 - Journal of Applied Non-Classical Logics 26 (3):208-239.
A complete system of four-valued logic.P. H. Rodenburg & Carsten Lutz - 2001 - Journal of Applied Non-Classical Logics 11 (3-4):367-392.
Neighbourhood Semantics for FDE-Based Modal Logics.S. Drobyshevich & D. Skurt - 2021 - Studia Logica 109 (6):1273-1309.
Process algebra with four-valued logic.Jan A. Bergstra & Alban Ponse - 2000 - Journal of Applied Non-Classical Logics 10 (1):27-53.
From Bi-facial Truth to Bi-facial Proofs.Stefan Wintein & Reinhard A. Muskens - 2015 - Studia Logica 103 (3):545-558.

Analytics

Added to PP
2013-12-01

Downloads
58 (#373,074)

6 months
7 (#740,041)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Elimination of Cuts in First-order Finite-valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Journal of Information Processing and Cybernetics EIK 29 (6):333-355.
A framework for knowledge-based systems.Alexei Yu Muravitsky - 1996 - Journal of Applied Non-Classical Logics 6 (3):263-286.
Knowledge representation as domain.Alexei Yu Muravitsky - 1997 - Journal of Applied Non-Classical Logics 7 (3):343-364.

Add more citations

References found in this work

Some philosophical problems from the standpoint of artificial intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.

Add more references