What is Logic?
From MaRDI portal
Cited in
(43)- On reduction rules, meaning-as-use, and proof-theoretic semantics
- Harmony and autonomy in classical logic
- Expressivist perspective on logicality
- Compositionality solves Carnap's problem
- Disjunctive and conjunctive multiple-conclusion consequence relations
- What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics
- Classical harmony and separability
- Beyond logical pluralism and logical monism
- On the logical philosophy of assertive graphs
- Hypersequent and display calculi -- a unified perspective
- Revisiting Quine on truth by convention
- What is the logic of inference?
- Logicality, double-line rules, and modalities
- The original sin of proof-theoretic semantics
- Logical constants: a modalist approach
- Conservativeness and eliminability for anti-realistic definitions. Towards a global view of the meaning of logical constants
- A proof-theoretic treatment of \(\lambda \)-reduction with cut-elimination: \(\lambda \)-calculus as a logic programming language
- An expressivist bilateral meaning-is-use analysis of classical propositional logic
- Which quantifiers are logical? A combined semantical and inferential criterion
- Popper's theory of deductive inference and the concept of a logical constant
- Logical constants in quantifier languages
- What is an inference rule?
- Term sequent logic
- Busting a Myth about Leśniewski and Definitions
- Prawitz, Proofs, and Meaning
- Why conclusions should remain single
- Connectives in Cumulative Logics
- Logic, logics, and logicism
- The nature of entailment: an informational approach
- A novel approach to equality
- Logical constants and the sorites paradox
- A general schema for bilateral proof rules
- The logicality of equality
- Carnap's problem, definability and compositionality
- Grounding operators: transitivity and trees, logicality and balance
- Reading conclusions conjunctively
- On the non-substantiality of logic: a case study
- Non-foundationalist frameworks for logical metainferentialism
- Inferential semantic contamination, harmony and realist pollution
- Carnap's (categoricity) problem
- Simple consequence relations
- Logical connectives for constructive modal logic
- Expressive power and incompleteness of propositional logics
This page was built for publication: What is Logic?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3208615)
