The following pages link to Models of deduction (Q2500815):
Displaying 7 items.
- Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics (Q929639) (← links)
- Gödel on deduction (Q2631643) (← links)
- Isomorphic formulae in classical propositional logic (Q3117775) (← links)
- Deductive verbal models of organizations (Q4135043) (← links)
- Inferential Semantics (Q5213609) (← links)
- Two modes of deductive inference (Q5920986) (← links)
- A note on synonymy in proof-theoretic semantics (Q6612874) (← links)