Pages that link to "Item:Q3117775"
From MaRDI portal
The following pages link to Isomorphic formulae in classical propositional logic (Q3117775):
Displaying 5 items.
- Computational isomorphisms in classical logic (Q1398471) (← links)
- Logics of synonymy (Q2194116) (← links)
- Constructively equivalent propositions and isomorphisms of objects, or terms as natural transformations (Q4010353) (← links)
- An Isomorphism-Invariant Distance Function on Propositional Formulas in CNF (Q6113549) (← links)
- A note on synonymy in proof-theoretic semantics (Q6612874) (← links)