The following pages link to (Q3941377):
Displayed 32 items.
- ``Inference versus consequence'' revisited: inference, consequence, conditional, implication (Q383072) (← links)
- Confronting ideals of proof with the ways of proving of the research mathematician (Q603906) (← links)
- First-order da Costa logic (Q631523) (← links)
- Perfect validity, entailment and paraconsistency (Q1068812) (← links)
- Classical harmony: Rules of inference and the meaning of the logical constants (Q1340989) (← links)
- Minimal complete propositional natural deduction systems (Q1633213) (← links)
- Truthmaker maximalism and the truthmaker paradox (Q2054151) (← links)
- Rescuing implicit definition from abstractionism (Q2080582) (← links)
- Tableaux for free logics with descriptions (Q2142064) (← links)
- Free logics are cut-free (Q2243550) (← links)
- On Tarski's axiomatization of mereology (Q2278833) (← links)
- An alternative normalization of the implicative fragment of classical logic (Q2352461) (← links)
- Parts, classes and parts of classes: an anti-realist reading of Lewisian mereology (Q2442132) (← links)
- Validity concepts in proof-theoretic semantics (Q2500820) (← links)
- ON FLATTENING ELIMINATION RULES (Q2940866) (← links)
- Popper's theory of deductive inference and the concept of a logical constant (Q3684103) (← links)
- Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
- Definite Descriptions in Intuitionist Positive Free Logic (Q5013624) (← links)
- Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic (Q5126200) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Inversion Principles and Introduction Rules (Q5213611) (← links)
- Harmony in Proof-Theoretic Semantics: A Reductive Analysis (Q5213618) (← links)
- A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation (Q5241405) (← links)
- CUT FOR CLASSICAL CORE LOGIC (Q5259721) (← links)
- CATEGORICAL HARMONY AND PATH INDUCTION (Q5274880) (← links)
- A natural deduction system for first degree entailment (Q5937857) (← links)
- RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH (Q6041350) (← links)
- The placeholder view of assumptions and the Curry-Howard correspondence (Q6066988) (← links)
- Core Gödel (Q6100981) (← links)
- A step towards absolute versions of metamathematical results (Q6150669) (← links)
- WHAT IS A RULE OF INFERENCE? (Q6193397) (← links)
- Structural Rules in Natural Deduction with Alternatives (Q6200461) (← links)