Studia Logica 34 (3):293 - (1975)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1007/BF02125232 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
A Strongly Finite Logic with Infinite Degree of Maximality.Marek Tokarz - 1976 - Studia Logica 35 (4):447 - 451.
Functions definable in Sugihara algebras and their fragments. II.Marek Tokarz - 1976 - Studia Logica 35:279.
Similar books and articles
Connections Between Some Notions of Completeness of Structural Propositional Calculi.Marek Tokarz - 1973 - Studia Logica 32 (1):77 - 91.
On the Structural Completeness of Some Pure Implicational Propositional Calculi.Tadeusz Prucnal - 1972 - Studia Logica 30 (1):45 - 52.
A Theorem on Strongly Finite Propositional Calculi.Ryszard Wójcicki - 1975 - Bulletin of the Section of Logic 4 (1):2-6.
Proof of Structural Completeness of a Certain Class of Implicative Propositional Calculi.Tadeusz Prucnal - 1973 - Studia Logica 32 (1):93 - 97.
Decidability of Structural Completeness for Strongly Finite Propositional Calculi.Zdzislaw Dywan - 1978 - Bulletin of the Section of Logic 7 (3):129-131.
Decidability of Structural Completeness for Strongly Finite Propositional Calculi.Zdzis law Dywan - 1978 - Bulletin of the Section of Logic 7 (3):129-131.
Structural Completeness of Gödel's and Dummett's Propositional Calculi.Wojciech Dzik & Andrzej Wroński - 1973 - Studia Logica 32 (1):69-73.
On Two Notions Concerning the Structural Sentential Calculi.Wieslaw Dziobiak & Wojciech Sachwanowicz - 1979 - Bulletin of the Section of Logic 8 (2):54-58.
Interpolation Properties For A Class Of Many-Valued Propositional Calculi.Grzegorz Malinowski & Marek Michalczyk - 1981 - Bulletin of the Section of Logic 10 (1):9-14.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
Correction to My Paper ``Some Completeness Results for Intermediate Propositional Logics''.C. G. McKay - 1968 - Notre Dame Journal of Formal Logic 9 (4):388-388.
Distributive-Lattice Semantics of Sequent Calculi with Structural Rules.Alexej P. Pynko - 2009 - Logica Universalis 3 (1):59-94.
Adjoint Interpretations of Sentential Calculi.Tomasz Fukmanowski - 1982 - Studia Logica 41 (4):359 - 374.
Duplication-Free Tableau Calculi and Related Cut-Free Sequent Calculi for the Interpolable Propositional Intermediate Logics.A. Avellone, M. Ferrari & P. Miglioli - 1999 - Logic Journal of the IGPL 7 (4):447-480.
Sequent Calculi for Visser's Propositional Logics.Kentaro Kikuchi & Ryo Kashima - 2001 - Notre Dame Journal of Formal Logic 42 (1):1-22.
Analytics
Added to PP index
2009-01-28
Total views
23 ( #447,802 of 2,401,576 )
Recent downloads (6 months)
1 ( #551,447 of 2,401,576 )
2009-01-28
Total views
23 ( #447,802 of 2,401,576 )
Recent downloads (6 months)
1 ( #551,447 of 2,401,576 )
How can I increase my downloads?
Downloads
