On the rules of suppositions in formal logic
From MaRDI portal
Publication:1840387
zbMath0011.09702MaRDI QIDQ1840387
Publication date: 1934
Published in: Studia Logica (Search for Journal in Brave)
Related Items
Dialogues and Proofs; Yankov’s Contribution to Proof Theory ⋮ GÖDEL’S NOTRE DAME COURSE ⋮ Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization ⋮ Semi-intelligible Isar proofs from machine-generated proofs ⋮ Proofs as Objects ⋮ Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ On the semantics of the universal quantifier ⋮ MPTP 0.2: Design, implementation, and initial experiments ⋮ Characteristics of de Bruijn’s early proof checker Automath ⋮ A theory of truth based on a medieval solution to the liar paradox ⋮ RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH ⋮ A new formulation of discussive logic ⋮ The placeholder view of assumptions and the Curry-Howard correspondence ⋮ The Barcan formulas and necessary existence: the view from quarc ⋮ The Deduction Theorem (Before and After Herbrand) ⋮ A novel approach to equality ⋮ WHAT IS A RULE OF INFERENCE? ⋮ Supposition: A Problem for Bilateralism ⋮ Arthur Schopenhauer on Naturalness in Logic ⋮ Free logics are cut-free ⋮ Theorem Proving in Large Formal Mathematics as an Emerging AI Field ⋮ Reasoning about truth in first-order logic ⋮ Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different ⋮ Normal proofs, cut free derivations and structural rules ⋮ A survey of nonstandard sequent calculi ⋮ Sur une logique intuitionniste ⋮ Subatomic natural deduction for a naturalistic first-order language with non-primitive identity ⋮ Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction ⋮ Simulation of Natural Deduction and Gentzen Sequent Calculus ⋮ Stoic Sequent Logic and Proof Theory ⋮ The calculus of natural calculation ⋮ Human-centered automated proof search ⋮ Semantics of Mizar as an Isabelle object logic ⋮ The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden ⋮ NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
