TPS: A hybrid automatic-interactive system for developing proofs

&
Journal of Applied Logic 4 (4):367-395 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2005.10.002

Links

PhilArchive



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

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

Hybrid logics with infinitary proof systems.Rineke Verbrugge, Gerard Renardel de Lavalette & Barteld Kooi - unknown
The Knowledge Complexity of Interactive Proof Systems.Proofs that Release Minimum Knowledge.Randomness, Interactive Proofs, and Zero-Knowledge--A Survey. [REVIEW]Lance Fortnow, Shafi Goldwasser, Silvio Micali, Charles Rackoff, Oded Goldreich, Avi Wigderson, J. Gruska, B. Rovan, J. Wiedermann & Rolf Herken - 1991 - Journal of Symbolic Logic 56 (3):1092.
Natural deduction for first-order hybrid logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Data Mining, Retrieval and Management-An Interactive Hybrid System for Identifying and Filtering Unsolicited E-mail.M. Dolores del Castillo & J. Ignacio Serrano - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 779-788.
Are Automatic Imitation and Spatial Compatibility Mediated by Different Processes?Richard P. Cooper, Caroline Catmur & Cecilia Heyes - 2013 - Cognitive Science 37 (4):605-630.
Programs for Structured Proofs.Lee Harrison Blaine - 1980 - Dissertation, Stanford University
Automatic proofs for theorems on predicate calculus.Sueli Mendes dos Santos - 1972 - [Rio de Janeiro,: Pontificia Universidade Católica do Rio de Janeiro]. Edited by Marilia Rosa Millan.
Speedith: A Reasoner for Spider Diagrams.Matej Urbas, Mateja Jamnik & Gem Stapleton - 2015 - Journal of Logic, Language and Information 24 (4):487-540.
Hybrid Identities and Hybrid Equational Logic.Klaus Denecke - 1995 - Mathematical Logic Quarterly 41 (2):190-196.
Automatic Attendance Monitoring System.P. Padma Rekha, V. Narendhiran, D. Amudhan, S. Ramya & N. Pavithra - 2016 - International Journal for Science and Advance Research in Technology 2 (2):23-25.
Lower Bounds for cutting planes proofs with small coefficients.Maria Bonet, Toniann Pitassi & Ran Raz - 1997 - Journal of Symbolic Logic 62 (3):708-728.
Implicit Proofs.Jan Krajíček - 2004 - Journal of Symbolic Logic 69 (2):387 - 397.
A hybrid logic for reasoning about knowledge and topology.Bernhard Heinemann - 2008 - Journal of Logic, Language and Information 17 (1):19-41.
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.
Interruptibility as a constraint on hybrid systems.Richard Cooper & Bradley Franks - 1993 - Minds and Machines 3 (1):73-96.

Analytics

Added to PP
2016-06-30

Downloads
23 (#664,515)

6 months
11 (#222,787)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

A compact representation of proofs.Dale A. Miller - 1987 - Studia Logica 46 (4):347 - 370.
A man-machine theorem-proving system.W. W. Bledsoe & Peter Bruell - 1974 - Artificial Intelligence 5 (1):51-72.

Add more references