On a tableau rule for identity

Notre Dame Journal of Formal Logic 21 (1):175-178 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093882951

Links

PhilArchive



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

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

Model Generation from Constrained Free Variable.Jan van Eijck - unknown
Cut-free tableau calculi for some propositional normal modal logics.Martin Amerbauer - 1996 - Studia Logica 57 (2-3):359 - 372.
Gts and interrogative tableaux.Stephen Harris - 1994 - Synthese 99 (3):329 - 343.
First-order belief and paraconsistency.Srećko Kovač - 2009 - Logic and Logical Philosophy 18 (2):127-143.
Connection tableau calculi with disjunctive constraints.Ortrun Ibens - 2002 - Studia Logica 70 (2):241 - 270.
A tableau calculus with automaton-labelled formulae for regular grammar logics.Rajeev Gore - unknown
A sound and complete tableau calculus for reasoning about only knowing and knowing at most.Riccardo Rosati - 2001 - Studia Logica 69 (1):171-191.
A tableau decision algorithm for modalized ALC with constant domains.Carsten Lutz, Holger Sturm, Frank Wolter & Michael Zakharyaschev - 2002 - Studia Logica 72 (2):199-232.
An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.
A tableau system of proof for predicate-functor logic with identity.Teo Grünberg - 1983 - Journal of Symbolic Logic 48 (4):1140-1144.
On Ramsey's 'Silly Delusion' Regarding Tractatus 5.53.Kai Wehmeier - 2009 - In Giuseppe Primiero & Shahid Rahman (eds.), Acts of Knowledge: History, Philosophy and Logic. College Publications.
Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.
Best-Path Theorem Proving: Compiling Derivations.Martin Frické Frické - 2012 - In James Maclaurin (ed.), Rationis Defensor.
Terminating tableau systems for hybrid logic with difference and converse.Mark Kaminski & Gert Smolka - 2009 - Journal of Logic, Language and Information 18 (4):437-464.
HyLoTab — Tableau-based Theorem Proving for Hybrid Logics.Jan van Eijck - unknown

Analytics

Added to PP
2010-08-24

Downloads
15 (#947,381)

6 months
5 (#639,324)

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