New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*
From MaRDI portal
Publication:5275766
DOI10.1111/j.1468-0068.2008.00684.xzbMath1366.03196OpenAlexW2166906302MaRDI QIDQ5275766
Publication date: 14 July 2017
Published in: Noûs (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1111/j.1468-0068.2008.00684.x
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)
Related Items (10)
New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers* ⋮ Is Unsaying Polite? ⋮ In defense of imperative inference ⋮ A formalism to specify unambiguous instructions inspired by Mīmāṁsā in computational settings ⋮ Formalizing Kant's rules. A logic of conditional imperatives and permissives ⋮ A new dimension of imperative logic ⋮ Logic and semantics for imperatives ⋮ Be nice! How simple imperatives simplify imperative logic ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ New foundations for imperative logic. III: A general definition of argument validity
Cites Work
- A new axiomatization of Belnap's conditional assertion
- Axiomatizing Belnap's conditional assertion
- The is-ought problem. An investigation in philosophical logic
- A semantic analysis of conditional assertion
- On modal renderings of intuitionistic propositional logic
- Quandaries and the logic of rules
- Imperative logic as based on a Galois connection
- Conditional Assertion and Restricted Quantification
- New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*
- On notation for ordinal numbers
- Constraints for input/output logics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*
