Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous

Journal of Applied Non-Classical Logics 16 (1-2):209-239 (2006)
  Copy   BIBTEX

Abstract

(2006). Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous. Journal of Applied Non-Classical Logics: Vol. 16, No. 1-2, pp. 209-239

Categories

Keywords

Reprint years

DOI

10.3166/jancl.16.209-239

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,873

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

DΔL: a dynamic deontic logic.Krister Segerberg - 2012 - Synthese 185 (S1):1-17.
Deontic norms, deontic reasoning, and deontic conditionals.Sieghard Beller - 2008 - Thinking and Reasoning 14 (4):305 – 341.
A deontic logic of action.Krister Segerberg - 1982 - Studia Logica 41 (2-3):269 - 282.
Moral heuristics: Rigid rules or flexible inputs in moral deliberation?Elizabeth Anderson - 2005 - Behavioral and Brain Sciences 28 (4):544-545.
Prover9's Simplification Explained Away.Paweł Garbacz - 2012 - Australasian Journal of Philosophy 90 (3):585 - 592.
A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics.Ricardo Caferra, Stéphane Demri & Michel Herment - 1993 - Studia Logica 52 (2):197 - 232.
A characterization of ML in many-sorted arithmetic with conditional application.M. D. G. Swaen - 1992 - Journal of Symbolic Logic 57 (3):924 - 953.
Social heuristics that make us smarter.Susan Hurley - 2005 - Philosophical Psychology 18 (5):585 – 612.
Un enfoque no-clásico de varias antinomias deónticas.Lorenzo Peña - 1987 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 3 (1-2):67-94.
New foundations for deontic logic: A preliminary sketch.Peter B. M. Vranas - unknown
Stepping up lemmas in definable partitions.Evangelos Kranakis - 1984 - Journal of Symbolic Logic 49 (1):22-31.
Unification and Passive Inference Rules for Modal Logics.V. V. Rybakov, M. Terziler & C. Gencer - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):369-377.
Heuristics in technoscientific thinking.Michael E. Gorman - 2000 - Behavioral and Brain Sciences 23 (5):752-752.

Analytics

Added to PP
2013-12-23

Downloads
16 (#930,342)

6 months
3 (#1,037,180)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references