Mechanical proof methods for post logics

Logique Et Analyse 28 (10):173 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Modal Hybrid Logic.Andrzej Indrzejczak - 2007 - Logic and Logical Philosophy 16 (2-3):147-257.
Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics.Lincoln A. Wallen - 1990 - MIT Press (MA).
Mechanical theorem proving for Post logics.E. Orlowska - 1985 - Logique Et Analyse 110:173-192.
Admissibility of cut in congruent modal logics.Andrzej Indrzejczak - 2011 - Logic and Logical Philosophy 20 (3):189-203.
Review: Lincoln A. Wallen, Automated Proof Search in Non-Classical Logics. Efficient Matrix Proof Methods for Modal and Intuitionistic Logics. [REVIEW]Luis del Cerro - 1993 - Journal of Symbolic Logic 58 (2):719-720.
Review: Lincoln A. Wallen, Automated Proof Search in Non-Classical Logics. Efficient Matrix Proof Methods for Modal and Intuitionistic Logics. [REVIEW]Luis Farinas del Cerro - 1993 - Journal of Symbolic Logic 58 (2):719-720.
Wallen Lincoln A.. Automated proof search in non-classical logics. Efficient matrix proof methods for modal and intuitionistic logics. Artificial intelligence series. The MIT Press, Cambridge, Mass., and London, 1990, xv+ 239 pp. [REVIEW]Luis Fariñas del Cerro - 1993 - Journal of Symbolic Logic 58 (2):719-720.
Displaying and deciding substructural logics 1: Logics with contraposition.Greg Restall - 1998 - Journal of Philosophical Logic 27 (2):179-216.
Technical report tr-Arp-11-94.Greg Restall - unknown
Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
Explicit logics of knowledge and conservativity.Melvin Fitting - unknown
Emil L. Post and the problem of mechanical provability: a survey of Post's contributions in the centenary of his birth.Halina Święczkowska (ed.) - 1998 - Białystok: Chair of Logic, Informatics and Philisiophy of Science University of Białystok.
An Axiomatisation of the Conditionals of Post's Many Valued Logics.Stan J. Surma - 1995 - Mathematical Logic Quarterly 41 (3):369-372.
Relational proof system for relevant logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
A Relational Formalisation Of Arbitrary Finite Valued Logics.B. Konikowska, C. Morgan & E. Orlowska - 1998 - Logic Journal of the IGPL 6 (5):755-774.

Analytics

Added to PP
2015-02-06

Downloads
0

6 months
0

Historical graph of downloads

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

Author's Profile

Ewa Orlowska
Institute of Telecommunications and Information Technology

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references