The following pages link to What are logical notions? (Q3758801):
Displayed 19 items.
- Reduction and Tarski's definition of logical consequence (Q558729) (← links)
- Tarski's conception of logic (Q598260) (← links)
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
- Logical operations and invariance (Q861521) (← links)
- The truths of logic (Q1293000) (← links)
- Frege's new science (Q1860968) (← links)
- Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments? (Q1860969) (← links)
- Tarski on logical consequences (Q1924334) (← links)
- Tarski's staggering existential assumptions (Q2386112) (← links)
- Definability and invariance (Q2454641) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- Domains of Sciences, Universes of Discourse and Omega Arguments (Q2757989) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence (Q3618448) (← links)
- On the Concept of Following Logically (Q4706125) (← links)
- Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski (Q4953233) (← links)
- Logicality and Invariance (Q5387295) (← links)
- Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science (Q5717551) (← links)
- Logic, logics, and logicism (Q5937844) (← links)