Pages that link to "Item:Q5586223"
From MaRDI portal
The following pages link to A series of successive modifications of Peirce's rule (Q5586223):
Displaying 9 items.
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- Constructing denumerable matrices strongly adequate for pre-finite logics (Q1219875) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Decidability problem for finite Heyting algebras (Q3815356) (← links)
- Generalized tableau systems for intermediate propositional logics (Q4610314) (← links)
- The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel (Q5537357) (← links)
- A Remark on Peirce’s Rule in Many-Valued Logics (Q5544269) (← links)
- Certain Method for Generating a Series of Logics (Q5551418) (← links)
- A Remark on Peirce’s Law (Q5559530) (← links)