Logical constants as punctuation marks

DOI10.1305/ndjfl/1093635154zbMath0692.03003OpenAlexW2067172985MaRDI QIDQ583184

Kosta Došen

Publication date: 1989

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635154

zbMATH Keywords

proof theorylogical constantsphilosophy of logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Structure of proofs (03F07)

Related Items

Cartesian isomorphisms are symmetric monoidal: A justification of linear logic ⋮ Logicality, double-line rules, and modalities ⋮ Game Semantics and the Manifestation Thesis ⋮ INVARIANCE CRITERIA AS META-CONSTRAINTS ⋮ Beyond logical pluralism and logical monism ⋮ SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES ⋮ Expressivist perspective on logicality ⋮ Proof-theoretic pluralism ⋮ A novel approach to equality ⋮ Quine and Slater on paraconsistency and deviance ⋮ Hypersequent calculi for intuitionistic logic with classical atoms ⋮ Naive structure, contraction and paradox ⋮ GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC ⋮ Logical pluralism and semantic information ⋮ Assertion, denial, content, and (logical) form ⋮ Identity of Proofs Based on Normalization and Generality ⋮ Harmony in multiple-conclusion natural-deduction ⋮ WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS ⋮ A survey of nonstandard sequent calculi ⋮ Models of deduction ⋮ Hopeful monsters: a note on multiple conclusions ⋮ Functional Completeness in CPL via Correspondence Analysis ⋮ Does the Implication Elimination Rule Need a Minor Premise? ⋮ Existential Graphs as a Basis for Structural Reasoning