scientific article
From MaRDI portal
Publication:3467536
zbMath1433.03001MaRDI QIDQ3467536
Publication date: 2 February 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic of natural languages (03B65) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (31)
Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics ⋮ Calculi of epistemic grounding based on Prawitz's theory of grounds ⋮ Negative predication and distinctness ⋮ SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES ⋮ The placeholder view of assumptions and the Curry-Howard correspondence ⋮ A proof-theoretic semantics for exclusion ⋮ Bilateralism, trilateralism, multilateralism and poly-sequents ⋮ Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons) ⋮ A novel approach to equality ⋮ Logical multilateralism ⋮ FRACTIONAL-VALUED MODAL LOGIC ⋮ The original sin of proof-theoretic semantics ⋮ Introduction: Bilateralism and Proof-Theoretic Semantics (Part I) ⋮ Introduction: Bilateralism and Proof-Theoretic Semantics (Part II) ⋮ Fractional-Valued Modal Logic and Soft Bilateralism ⋮ Bilateral Rules as Complex Rules ⋮ The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract) ⋮ ST, LP and Tolerant Metainferences ⋮ A proof-theoretic semantics for adjectival modification ⋮ On harmony and permuting conversions ⋮ General-elimination stability ⋮ Subatomic natural deduction for a naturalistic first-order language with non-primitive identity ⋮ Subatomic negation ⋮ Hopeful monsters: a note on multiple conclusions ⋮ FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC ⋮ The calculus of natural calculation ⋮ Single-assumption systems in proof-theoretic semantics ⋮ Game of grounds ⋮ Existential Import and Relations of Categorical and Modal Categorical Statements ⋮ Does 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: