Pages that link to "Item:Q583184"
From MaRDI portal
The following pages link to Logical constants as punctuation marks (Q583184):
Displaying 35 items.
- Reassessing logical hylomorphism and the demarcation of logical constants (Q375342) (← links)
- Assertion, denial, content, and (logical) form (Q513980) (← links)
- Hypersequent calculi for intuitionistic logic with classical atoms (Q636282) (← links)
- Logical constants and the glory of truth-conditional semantics (Q908893) (← links)
- Triple dots in a formal language (Q1284707) (← links)
- Quine and Slater on paraconsistency and deviance (Q1411358) (← links)
- Expressivist perspective on logicality (Q1689557) (← links)
- Naive structure, contraction and paradox (Q1708466) (← links)
- Hopeful monsters: a note on multiple conclusions (Q2052149) (← links)
- Beyond logical pluralism and logical monism (Q2183711) (← links)
- Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- Logical pluralism and semantic information (Q2462685) (← links)
- Models of deduction (Q2500815) (← links)
- Logicality, double-line rules, and modalities (Q2631645) (← links)
- Logical constants: a modalist approach (Q2867855) (← links)
- Game Semantics and the Manifestation Thesis (Q2908761) (← links)
- Does the Implication Elimination Rule Need a Minor Premise? (Q3121971) (← links)
- Cartesian isomorphisms are symmetric monoidal: A justification of linear logic (Q4254631) (← links)
- Identity of Proofs Based on Normalization and Generality (Q4650310) (← links)
- (Q4698611) (← links)
- INVARIANCE CRITERIA AS META-CONSTRAINTS (Q5067873) (← links)
- Functional Completeness in CPL via Correspondence Analysis (Q5241402) (← links)
- GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC (Q5381029) (← links)
- WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS (Q5737955) (← links)
- Existential Graphs as a Basis for Structural Reasoning (Q5878886) (← links)
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES (Q6051421) (← links)
- Proof-theoretic pluralism (Q6088951) (← links)
- A novel approach to equality (Q6142508) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)
- Kolmogorov and the general theory of problems (Q6612868) (← links)
- The logicality of equality (Q6612870) (← links)
- Comments on the contributions (Q6612881) (← links)
- Carnap's problem, definability and compositionality (Q6623816) (← links)
- Grounding operators: transitivity and trees, logicality and balance (Q6650728) (← links)