Sense, entailment and modus ponens
From MaRDI portal
Publication:1140623
DOI10.1007/BF00262864zbMath0436.03008OpenAlexW2073662898WikidataQ56852419 ScholiaQ56852419MaRDI QIDQ1140623
Publication date: 1980
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00262864
senseproof theorysemanticsentailmentmodel structuresCurry's paradoxcompleteness proofde Morgan lattice
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)
Related Items
A content semantics for quantified relevant logics. I ⋮ Naive \textit{modus ponens} ⋮ Reasoning about truth ⋮ Making Sense of Sense Containment ⋮ Naive structure, contraction and paradox ⋮ Extensionality and restriction in naive set theory ⋮ An anti-realist account of mathematical truth ⋮ To be and not to be: Dialectical tense logic ⋮ Logic of paradox revisited ⋮ Universal Logic as a Science of Patterns ⋮ Semantic closure
This page was built for publication: Sense, entailment and modus ponens
