Pages that link to "Item:Q5172129"
From MaRDI portal
The following pages link to On an inferential semantics for classical logic (Q5172129):
Displaying 10 items.
- Non-adjunctive inference and classical modalities (Q812093) (← links)
- An informational view of classical logic (Q897935) (← links)
- Classical harmony and separability (Q2055927) (← links)
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
- Failure of completeness in proof-theoretic semantics (Q2516584) (← links)
- FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC (Q3389493) (← links)
- (Q4264704) (← links)
- ON SOME INTERPRETATIONS OF CLASSICAL LOGIC (Q4295220) (← links)
- Constructive semantics, admissibility of rules and the validity of Peirce's law (Q5176674) (← links)
- Proof-theoretic semantics for intuitionistic multiplicative linear logic (Q6541162) (← links)