Input/output logics
type: Item
instance of: scholarly article
title: Input/output logics
zbMATH Open document ID: 0964.03002
DOI: 10.1023/A:1004748624537
author: David Makinson
author: Leendert van der Torre
published in: Journal of Philosophical Logic
publication date: 2001-07-11T00:00:00Z
review text: The authors propose that we think of logic not merely as an inference engine, but as a way of preparing information for a more general method of input/output transformation. Four such `logics' are described, from the `simple-minded', in which all the (classically) logical consequences of a (propositional) input \(A\) are become input and the output is again closed under logical consequence, to a more useful `basic', which accommodates disjunctive inputs, to `reusable' extensions of each, in which outputs are returned to become inputs. All four are described both semantically and as sets of derivation procedures, with corresponding soundness and completeness results. Further properties are also presented, such as the possibility of permuting the order of application of derivation procedures in the different systems. This treatment of logic has application especially to such notions as conditional obligation, preferences, actions and beliefs, in which the type of input is not always the same as the type of output.
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 1512964
zbMATH Keywords: input/output logic
zbMATH Keywords: conditional goals
zbMATH Keywords: deontic logic
zbMATH Keywords: conditional obligation
reviewed by: Louis F. Goble
MaRDI profile type: Publication
cites work: Q4938866
cites work: A logic for default reasoning
cites work: Q4349945
cites work: Q4246962
full work available at URL: a:1004748624537
OpenAlex ID: W2008443647
description: scientific article; zbMATH DE number 1512964