The following pages link to What is Logic? (Q3208615):
Displayed 31 items.
- An expressivist bilateral meaning-is-use analysis of classical propositional logic (Q302171) (← links)
- Why conclusions should remain single (Q543530) (← links)
- Simple consequence relations (Q809992) (← links)
- Logical connectives for constructive modal logic (Q857668) (← links)
- Expressive power and incompleteness of propositional logics (Q965859) (← links)
- On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
- Harmony and autonomy in classical logic (Q1568714) (← links)
- Expressivist perspective on logicality (Q1689557) (← links)
- Compositionality solves Carnap's problem (Q1706739) (← links)
- Disjunctive and conjunctive multiple-conclusion consequence relations (Q2027207) (← links)
- What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics (Q2037304) (← links)
- Classical harmony and separability (Q2055927) (← links)
- Beyond logical pluralism and logical monism (Q2183711) (← links)
- On the logical philosophy of assertive graphs (Q2228440) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Revisiting Quine on truth by convention (Q2410896) (← links)
- What is the logic of inference? (Q2426732) (← links)
- Logicality, double-line rules, and modalities (Q2631645) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- <i>Logical Constants: A Modalist Approach</i><sup>1</sup> (Q2867855) (← links)
- Conservativeness and Eliminability for Anti-Realistic Definitions (Q2908762) (← links)
- A proof-theoretic treatment of <i>λ</i>-reduction with cut-elimination: <i>λ</i>-calculus as a logic programming language (Q3011126) (← links)
- Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion (Q3299517) (← links)
- Popper's theory of deductive inference and the concept of a logical constant (Q3684103) (← links)
- Logical constants in quantifier languages (Q3727961) (← links)
- What is an inference rule? (Q4032879) (← links)
- Term Sequent Logic (Q4982627) (← links)
- Busting a Myth about Leśniewski and Definitions (Q4983316) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Connectives in Cumulative Logics (Q5452189) (← links)
- Logic, logics, and logicism (Q5937844) (← links)