Pages that link to "Item:Q2534156"
From MaRDI portal
The following pages link to Gentzen-like systems for partial propositional calculi. I. II (Q2534156):
Displaying 14 items.
- Analytic calculi for circular concepts by finite revision (Q383558) (← links)
- Gentzen systems, resolution, and literal trees (Q1093632) (← links)
- Translations and structure for partial propositional calculi (Q1211980) (← links)
- The complexity of Gentzen systems for propositional logic (Q1263584) (← links)
- A Gentzen system for conditional logic (Q1327484) (← links)
- Protoalgebraic Gentzen systems and the cut rule (Q1576379) (← links)
- Gentzenization and decidability of some contraction-less relevant logics (Q2277247) (← links)
- Correspondences between gentzen and hilbert systems (Q3410681) (← links)
- Replacing Modus Ponens With One-Premiss Rules (Q3544315) (← links)
- A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic (Q3752367) (← links)
- A Note on Stahl's Opposite System (Q3809774) (← links)
- Two extensions of the structurally free logic LC (Q4392658) (← links)
- On Hilbert's Axiomatics of Propositional Logic (Q5169377) (← links)
- Measures of centrality and complexity for partial propositional calculi (Q5661842) (← links)