A Proof System for Classical Logic

&
Studia Logica 80 (1):95-104 (2005)
  Copy   BIBTEX

Abstract

An operation on inferential rules, called H-operation, is used to minimize the axiom basis for classical logic.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-005-6778-2

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,314

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

An Intuitionistic Completeness Theorem for Classical Predicate Logic.Victor N. Krivtsov - 2010 - Studia Logica 96 (1):109-115.
Erratum to Suszko’s Thesis, Inferential Many-valuedness, and the Notion of a Logical System Studia Logica, 88:405–429, 2008. [REVIEW]Heinrich Wansing & Yaroslav Shramko - 2008 - Studia Logica 89 (1):147-147.
Classical conservative extensions of Lambek calculus.V. Michele Abrusci - 2002 - Studia Logica 71 (3):277 - 314.
The choice of logical foundations: Non-classical choices and the ultralogical choice.Richard Routley - 1980 - Studia Logica 39 (1):77 - 98.
A new small emendation of gödel's ontological proof.Petr Hájek - 2002 - Studia Logica 71 (2):149 - 164.
On Groupoids of Relations with One Conjunctive Operation of Rank 2.Dmitry Bredikhin - 2022 - Studia Logica 110 (5):1137-1153.
Cn-definitions of propositional connectives.Witold A. Pogorzelski & Piotr Wojtylak - 2001 - Studia Logica 67 (1):1-26.
Kripke semantics and proof systems for combining intuitionistic logic and classical logic.Chuck Liang & Dale Miller - 2013 - Annals of Pure and Applied Logic 164 (2):86-111.
The Contributions of Logic to the Foundations of Physics: Foreword. [REVIEW]Diederik Aerts, Sonja Smets & Jean P. Van Bendegem - 2010 - Studia Logica 95 (1-2):1-3.

Analytics

Added to PP
2009-01-28

Downloads
72 (#302,539)

6 months
8 (#390,329)

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