Pages that link to "Item:Q5013623"
From MaRDI portal
The following pages link to The Ontological Innocence of Schematic Logic (Q5013623):
Displaying 6 items.
- On conceptual completeness of syntactic-semantical systems (Q798654) (← links)
- Semantic trees for Dummett's logic LC (Q1092036) (← links)
- Completeness for ancestral logic via a computationally-meaningful semantics (Q1694469) (← links)
- Completeness proof by semantic diagrams for transitive closure of accessibility relation (Q2904055) (← links)
- A Schemata Calculus for Propositional Logic (Q3648719) (← links)
- The Smyth Completion (Q4222778) (← links)