The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright

Studia Logica 31 (1):127-136 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02120534

Links

PhilArchive



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

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

Completeness of an ancient logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.
A Binary-conclusion Natural Deduction System.K. Fujita - 1999 - Logic Journal of the IGPL 7 (4):517-545.
A natural deduction system for first degree entailment.Allard M. Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
A double deduction system for quantum logic based on natural deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.
Is Aristotle's Syllogistic a Logic?Phil Corkum - forthcoming - History and Philosophy of Logic.
Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning.Michael Gabbay & Murdoch J. Gabbay - 2005 - In Gabbay Michael & Gabbay Murdoch J. (eds.), We Will Show Them! Essays in Honour of Dov Gabbay, volume 1. pp. 701-null.
The Systems of Relevance Logic.Ryszard Mirek - 2011 - Argument: Biannual Philosophical Journal 1 (1):87-102.
Classically axiomatizable modal propositional calculi containing the system T of Feys-von Wright.Wieslaw Dziobiak - 1976 - Bulletin of the Section of Logic 5 (1):20-23.
Classically axiomatizable modal propositional calculi containing the system T of feys–von Wright.Wies law Dziobiak - 1976 - Bulletin of the Section of Logic 5 (1):20-23.
Normalization and Cut-Elimination in First-Order Logic.Anthony Michael Ungar - 1986 - Dissertation, Stanford University
Foundations of a theorem prover for functional and mathematical uses.Javier Leach & Susana Nieva - 1993 - Journal of Applied Non-Classical Logics 3 (1):7-38.
[Note on a Modal System of Feys-von Wright.Boleslw Soboci Nski - 1953 - [S.N.].
Indirect-deduction theorems.S. J. Surma - 1967 - Studia Logica 20 (1):164-166.
A note on indirect deduction theorems valid in łukasiewicz's finitely-valued propositional calculi.S. J. Surma - 1973 - Studia Logica 31 (1):142-142.
A natural deduction system for bundled branching time logic.Stefano Baratella & Andrea Masini - 2013 - Journal of Applied Non-Classical Logics 23 (3):268 - 283.

Analytics

Added to PP
2009-01-28

Downloads
23 (#637,895)

6 months
3 (#857,336)

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

What is strict implication?Ian Hacking - 1963 - Journal of Symbolic Logic 28 (1):51-71.
Twierdzenia o dedukcji niewprost.Stanisław J. Surma - 1967 - Studia Logica 20 (1):151-160.

Add more references