A three-valued approach to default logic

Journal of Applied Non-Classical Logics 6 (2):149-190 (1996)
  Copy   BIBTEX

Abstract

No abstract

Categories

Keywords

Reprint years

DOI

10.1080/11663081.1996.10510876

Links

PhilArchive



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

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

Seminormalizing a default theory.Paolo Liberatore - 2005 - Journal of Applied Non-Classical Logics 15 (3):321-340.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Defaults as restrictions on classical Hilbert-style proofs.Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri - 1994 - Journal of Logic, Language and Information 3 (4):303-326.
An interpretation of default logic in minimal temporal epistemic logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.
Towards a classification of defaults logics.Thomas Link & Torsten Schaub - 1997 - Journal of Applied Non-Classical Logics 7 (4):397-451.
Four-valued semantics for relevant logics (and some of their rivals).Greg Restall - 1995 - Journal of Philosophical Logic 24 (2):139 - 160.
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.
An implementation of statistical default logic.Gregory Wheeler & Carlos Damasio - 2004 - In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer.
Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics.Georges Hansoul & Bruno Teheux - 2013 - Studia Logica 101 (3):505-545.
Unification of Two Approaches to Quantum Logic: Every Birkhoff -von Neumann Quantum Logic is a Partial Infinite-Valued Łukasiewicz Logic.Jarosław Pykacz - 2010 - Studia Logica 95 (1-2):5 - 20.
Kleene's three valued logics and their children.Melvin Fitting - unknown
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.
On łukasiewicz's four-valued modal logic.Josep Maria Font & Petr Hájek - 2002 - Studia Logica 70 (2):157-182.

Analytics

Added to PP
2013-12-01

Downloads
20 (#744,405)

6 months
2 (#1,263,261)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Towards a classification of defaults logics.Thomas Link & Torsten Schaub - 1997 - Journal of Applied Non-Classical Logics 7 (4):397-451.
Consistency Defaults.Paolo Liberatore - 2007 - Studia Logica 86 (1):89-110.

Add more citations

References found in this work

Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.

Add more references