Imperative logic as based on a Galois connection

DOI10.1111/J.1755-2567.1988.TB00709.XzbMath0669.03004OpenAlexW2079109479MaRDI QIDQ3822140

Arnold A. Johanson

Publication date: 1988

Published in: Theoria (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1755-2567.1988.tb00709.x

zbMATH Keywords

deontic logicGalois connectionsimperative logiccombined logic for descriptive and prescriptive statements

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (1)

New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*

This page was built for publication: Imperative logic as based on a Galois connection