Pages that link to "Item:Q1258298"
From MaRDI portal
The following pages link to The adequacy problem for inferential logic (Q1258298):
Displaying 9 items.
- General-elimination stability (Q526738) (← links)
- Tarski's conception of logic (Q598260) (← links)
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
- Language in action (Q1177646) (← links)
- Functional completeness for subsystems of intuitionistic propositional logic (Q1802397) (← links)
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different (Q2259008) (← links)
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
- What is the logic of inference? (Q2426732) (← links)
- Logic, logics, and logicism (Q5937844) (← links)
