A concept approach to input/output logic

Journal of Applied Logic 13 (3):239-258 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2015.04.002

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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

On the complexity of input/output logic.Xin Sun & Livio Robaldo - 2017 - Journal of Applied Logic 25:69-88.
Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base.Livio Robaldo, Cesare Bartolini, Monica Palmirani, Arianna Rossi, Michele Martoni & Gabriele Lenzini - 2020 - Journal of Logic, Language and Information 29 (4):401-449.
Adaptive Logic Characterizations of Input/Output Logic.Christian Straßer, Mathieu Beirlaen & Frederik Van De Putte - 2016 - Studia Logica 104 (5):869-916.
Constraints for Input/Output Logics.David Makinson & Leendert van der Torre - 2001 - Journal of Philosophical Logic 30 (2):155 - 185.
`No input, no output' logic.Scott Lehmann - 2001 - In Karel Lambert, Edgar Morscher & Alexander Hieke (eds.), New Essays in Free Logic: In Honour of Karel Lambert. Norwell, Mass: Kluwer. pp. 147-155.
The Logic of Interactive Turing Reduction.Giorgi Japaridze - 2007 - Journal of Symbolic Logic 72 (1):243 - 276.
Input/output logics.David Makinson & Leendert van der Torre - 2000 - Journal of Philosophical Logic 29 (4):383-408.
On a Computer Program for Obtaining Irreducible Representations for Two-Level Multiple Input-Output Logical Systems.R. W. House & T. Rado - 1967 - Journal of Symbolic Logic 32 (2):264-265.
Concept lattices and order in fuzzy logic.Radim Bĕlohlávek - 2004 - Annals of Pure and Applied Logic 128 (1-3):277-298.
Time polynomial in input or output.Yuri Gurevich & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (3):1083-1088.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,115,280)

6 months
7 (#491,177)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Unsettling Preferential Semantics.Audun Stolpe - 2020 - Journal of Philosophical Logic 49 (2):371-399.

Add more citations

References found in this work

Input/output logics.David Makinson & Leendert van der Torre - 2000 - Journal of Philosophical Logic 29 (4):383-408.
Normative Systems.[author unknown] - 1971 - Critica 5 (14):120-123.
Bridges between Classical and Nonmonotonic Logic.David Makinson - 2003 - Logic Journal of the IGPL 11 (1):69-96.

Add more references