Completeness results for inequality provers

, &
Artificial Intelligence 27 (3):255-288 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(85)90015-3

Links

PhilArchive



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

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

Self provers and Σ1 sentences.Evan Goris & Joost Joosten - 2012 - Logic Journal of the IGPL 20 (1):1-21.
Arithmetical completeness versus relative completeness.Michal Grabowski - 1988 - Studia Logica 47 (3):213 - 220.
Jarrett Completeness and Superluminal Signals.Frederick M. Kronz - 1990 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:227-239.
Inequality without irreflexivity.Philippe Balbiani - 1999 - Journal of Applied Non-Classical Logics 9 (4):523-534.
Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere.Torben Braüner - 2005 - Studia Logica 81 (2):191-226.
Completeness results for intuitionistic and modal logic in a categorical setting.M. Makkai & G. E. Reyes - 1995 - Annals of Pure and Applied Logic 72 (1):25-101.
Combinations and completeness transfer for quantified modal logics.Gerhard Schurz - 2011 - Logic Journal of the IGPL 19 (4):598-616.
Status, lotteries and inequality¤.Gary Becker - unknown
The modal logic of inequality.Maarten de Rijke - 1992 - Journal of Symbolic Logic 57 (2):566-584.
The Modal Logic of Inequality.Maarten De Rijke - 1992 - Journal of Symbolic Logic 57 (2):566 - 584.
Regressive Merging in Model Elimination Tableau-Based Theorem Provers.Kevin Wallace & Graham Wrightson - 1995 - Logic Journal of the IGPL 3 (6):921-937.
Modal Matters for Interpretability Logics.Evan Goris & Joost Joosten - 2008 - Logic Journal of the IGPL 16 (4):371-412.
Wealth and economic inequality.James B. Davies - 2009 - In Wiemer Salverda, Brian Nolan & Timothy M. Smeeding (eds.), The Oxford Handbook of Economic Inequality. Oxford University Press.
Wealth and Income Inequality: An Economic and Ethical Analysis.Brian P. Simpson - 2009 - Journal of Business Ethics 89 (4):525-538.
Completeness and the Ends of Axiomatization.Michael Detlefsen - 2014 - In Juliette Cara Kennedy (ed.), Interpreting Gödel. New York: Cambridge University Press. pp. 59-77.

Analytics

Added to PP
2020-12-22

Downloads
2 (#1,805,981)

6 months
2 (#1,202,487)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A Mathematical Introduction to Logic.Herbert Enderton - 2001 - Bulletin of Symbolic Logic 9 (3):406-407.

Add more references