scientific article

From MaRDI portal
Publication:3467536

zbMath1433.03001MaRDI QIDQ3467536

Nissim Francez

Publication date: 2 February 2016


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (31)

Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semanticsCalculi of epistemic grounding based on Prawitz's theory of groundsNegative predication and distinctnessSUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMESThe placeholder view of assumptions and the Curry-Howard correspondenceA proof-theoretic semantics for exclusionBilateralism, trilateralism, multilateralism and poly-sequentsBilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)A novel approach to equalityLogical multilateralismFRACTIONAL-VALUED MODAL LOGICThe original sin of proof-theoretic semanticsIntroduction: Bilateralism and Proof-Theoretic Semantics (Part I)Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)Fractional-Valued Modal Logic and Soft BilateralismBilateral Rules as Complex RulesThe placeholder view of assumptions and the Curry-Howard correspondence (extended abstract)ST, LP and Tolerant MetainferencesA proof-theoretic semantics for adjectival modificationOn harmony and permuting conversionsGeneral-elimination stabilitySubatomic natural deduction for a naturalistic first-order language with non-primitive identitySubatomic negationHopeful monsters: a note on multiple conclusionsFRACTIONAL SEMANTICS FOR CLASSICAL LOGICThe calculus of natural calculationSingle-assumption systems in proof-theoretic semanticsGame of groundsExistential Import and Relations of Categorical and Modal Categorical StatementsDoes the Implication Elimination Rule Need a Minor Premise?Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds




This page was built for publication: