Pages that link to "Item:Q1840387"
From MaRDI portal
The following pages link to On the rules of suppositions in formal logic (Q1840387):
Displaying 33 items.
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801) (← links)
- Semi-intelligible Isar proofs from machine-generated proofs (Q287340) (← links)
- MPTP 0.2: Design, implementation, and initial experiments (Q877826) (← links)
- A new formulation of discussive logic (Q1137988) (← links)
- Sur une logique intuitionniste (Q1214915) (← links)
- On the semantics of the universal quantifier (Q1371430) (← links)
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← links)
- The calculus of natural calculation (Q2062198) (← links)
- Human-centered automated proof search (Q2069871) (← links)
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning (Q2155493) (← links)
- Free logics are cut-free (Q2243550) (← links)
- Reasoning about truth in first-order logic (Q2255212) (← links)
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different (Q2259008) (← links)
- Normal proofs, cut free derivations and structural rules (Q2259009) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- A theory of truth based on a medieval solution to the liar paradox (Q4018171) (← links)
- Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction (Q4683205) (← links)
- Simulation of Natural Deduction and Gentzen Sequent Calculus (Q4683217) (← links)
- Theorem Proving in Large Formal Mathematics as an Emerging AI Field (Q4913871) (← links)
- The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden (Q4999457) (← links)
- NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF (Q5001547) (← links)
- Proofs as Objects (Q5057055) (← links)
- Characteristics of de Bruijn’s early proof checker Automath (Q5089679) (← links)
- Arthur Schopenhauer on Naturalness in Logic (Q5118389) (← links)
- Stoic Sequent Logic and Proof Theory (Q5208124) (← links)
- GÖDEL’S NOTRE DAME COURSE (Q5283448) (← links)
- Dialogues and Proofs; Yankov’s Contribution to Proof Theory (Q5886456) (← links)
- RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH (Q6041350) (← links)
- The placeholder view of assumptions and the Curry-Howard correspondence (Q6066988) (← links)
- The Barcan formulas and necessary existence: the view from quarc (Q6088503) (← links)
- A novel approach to equality (Q6142508) (← links)
- WHAT IS A RULE OF INFERENCE? (Q6193397) (← links)
