Analysis of Fast Unification: An Exercise in Applied Logic

In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 159 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,998

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

Feast and Famine.Joseph Campisi - 2011 - Philosophy in the Contemporary World 18 (2):34-46.
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.
Unification in linear temporal logic LTL.Sergey Babenyshev & Vladimir Rybakov - 2011 - Annals of Pure and Applied Logic 162 (12):991-1000.
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras.Vincenzo Marra & Luca Spada - 2013 - Annals of Pure and Applied Logic 164 (3):192-210.
On a Bayesian analysis of the virtue of unification.Jonah N. Schupbach - 2005 - Philosophy of Science 72 (4):594-607.
Applied logic.Kaj Børge Hansen - 1996 - Uppsala: AUU.
Unification in intuitionistic logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.
Unification: What is it, how do we reach and why do we want it?Erik Weber - 1999 - Synthese 118 (3):479-499.
Rationality, logic, and fast and frugal heuristics.José Luis Bermúdez - 2000 - Behavioral and Brain Sciences 23 (5):744-745.
A unification algorithm for second-order monadic terms.William M. Farmer - 1988 - Annals of Pure and Applied Logic 39 (2):131-174.
A unification-theoretic method for investigating the k-provability problem.William M. Farmer - 1991 - Annals of Pure and Applied Logic 51 (3):173-214.
Filtering unification and most general unifiers in modal logic.Silvio Ghilardi & Lorenzo Sacchetti - 2004 - Journal of Symbolic Logic 69 (3):879-906.
Unification, finite duality and projectivity in varieties of Heyting algebras.Silvio Ghilardi - 2004 - Annals of Pure and Applied Logic 127 (1-3):99-115.

Analytics

Added to PP
2014-01-28

Downloads
17 (#869,613)

6 months
1 (#1,473,216)

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

Computability of Recursive Functions.J. C. Shepherdson & H. E. Sturgis - 1967 - Journal of Symbolic Logic 32 (1):122-123.
Logical Foundations of Artificial Intelligence.Michael R. Genesereth & Nils J. Nilsson - 1990 - Journal of Symbolic Logic 55 (3):1304-1307.
Applied logic.Kaj Børge Hansen - 1996 - Uppsala: AUU.
Logic for Applications.Anil Nerode & Richard A. Shore - 2000 - Studia Logica 64 (1):134-136.

View all 6 references / Add more references