Goal-Driven Reasoning in First-Order Logic

In Björn Haglund & Helge Malmgren (eds.), Kvantifikator För En Dag - Essays Dedicated to Dag Westerståhl on His Sixtieth Birthday. Philosophical Communications (2006)
  Copy   BIBTEX

Abstract

A complete, subformula-preserving proof system for goal-driven reasoning in first-order logic is presented. The proof system is a transition system and its proofs are (linear and local) computations in the transistion system. Thus the proof system fits into a standard framework for modeling problem-solving in cognitive psychology.

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Kvantifikator För En Dag - Essays Dedicated to Dag Westerståhl on His Sixtieth Birthday.Björn Haglund & Helge Malmgren (eds.) - 2006 - Philosophical Communications.
What is Stated and Cohesion.Palle Leth - 2006 - In Björn Haglund & Helge Malmgren (eds.), Kvantifikator För En Dag - Essays Dedicated to Dag Westerståhl on His Sixtieth Birthday. Philosophical Communications.
Interactive proof-search for equational reasoning.Favio E. Miranda-Perea, Lourdes del Carmen González Huesca & P. Selene Linares-Arévalo - forthcoming - Logic Journal of the IGPL.
An Analytic Calculus for the Intuitionistic Logic of Proofs.Brian Hill & Francesca Poggiolesi - 2019 - Notre Dame Journal of Formal Logic 60 (3):353-393.
Hyperproof: For Macintosh.Jon Barwise & John Etchemendy - 1994 - Center for the Study of Language and Inf.
Meta-inferences and Supervaluationism.Luca Incurvati & Julian J. Schlöder - 2021 - Journal of Philosophical Logic 51 (6):1549-1582.
A Natural Deduction Calculus for S4.2.Simone Martini, Andrea Masini & Margherita Zorzi - 2024 - Notre Dame Journal of Formal Logic 65 (2):127-150.
What? More Better?Felix Larsson - 2006 - In Björn Haglund & Helge Malmgren (eds.), Kvantifikator För En Dag - Essays Dedicated to Dag Westerståhl on His Sixtieth Birthday. Philosophical Communications.
Reasoning About Truth in First-Order Logic.Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani & Lance Rips - 2013 - Journal of Logic, Language and Information 22 (1):115-137.
Presentations, re-presentations and learning.Helge Malmgren - 2006 - In Björn Haglund & Helge Malmgren (eds.), Kvantifikator För En Dag - Essays Dedicated to Dag Westerståhl on His Sixtieth Birthday. Philosophical Communications.

Analytics

Added to PP
2012-11-25

Downloads
21 (#727,964)

6 months
21 (#165,879)

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

Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.

Add more references