Logical constants as punctuation marks

DOI10.1305/NDJFL/1093635154MaRDI QIDQ583184zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 753778
• The Problem of Logical Constants
• scientific article; zbMATH DE number 1870430
• The proper object of logic
• Logical constants in quantifier languages

Cited in

(39)

• Carnap's problem, definability and compositionality
• A survey of nonstandard sequent calculi
• Kolmogorov and the general theory of problems
• Proof-theoretic semantics: an autobiographical survey
• Comments on the contributions
• The logicality of equality
• Naive structure, contraction and paradox
• Logical constants and decision
• Hopeful monsters: a note on multiple conclusions
• Expressivist perspective on logicality
• Models of deduction
• Functional Completeness in CPL via Correspondence Analysis
• Grounding operators: transitivity and trees, logicality and balance
• Logical constants: a modalist approach
• Harmony in multiple-conclusion natural-deduction
• The Problem of Logical Constants
• Quine and Slater on paraconsistency and deviance
• Reassessing logical hylomorphism and the demarcation of logical constants
• Beyond logical pluralism and logical monism
• Logical constants and the glory of truth-conditional semantics
• GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC
• Cartesian isomorphisms are symmetric monoidal: A justification of linear logic
• Does the implication elimination rule need a minor premise?
• Invariance criteria as meta-constraints
• Assertion, denial, content, and (logical) form
• scientific article; zbMATH DE number 753778 (Why is no real title available?)
• Weak disharmony: some lessons for proof-theoretic semantics
• Existential Graphs as a Basis for Structural Reasoning
• Proof-theoretic pluralism
• Identity of Proofs Based on Normalization and Generality
• scientific article; zbMATH DE number 2076265 (Why is no real title available?)
• The proper object of logic
• Logical pluralism and semantic information
• Triple dots in a formal language
• Hypersequent calculi for intuitionistic logic with classical atoms
• Logicality, double-line rules, and modalities
• SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES
• Game semantics and the manifestation thesis
• A novel approach to equality

This page was built for publication: Logical constants as punctuation marks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q583184)