Pages that link to "Item:Q1398471"
From MaRDI portal
The following pages link to Computational isomorphisms in classical logic (Q1398471):
Displaying 6 items.
- Polarized and focalized linear and classical proofs (Q556824) (← links)
- Kripke models for classical logic (Q636371) (← links)
- Isomorphic formulae in classical propositional logic (Q3117775) (← links)
- Procedural isomorphism, analytic information and -conversion by value (Q4925174) (← links)
- Proof Transformations and Structural Invariance (Q5426006) (← links)
- A note on synonymy in proof-theoretic semantics (Q6612874) (← links)