The following pages link to (Q3226736):
Displaying 48 items.
- On rules (Q266650) (← links)
- Logic reduced to bare (proof-theoretical) bones (Q302245) (← links)
- Logicism as making arithmetic explicit (Q320159) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- A curious dialogical logic and its composition problem (Q484198) (← links)
- Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation (Q498234) (← links)
- General-elimination stability (Q526738) (← links)
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
- Reflecting rules: a note on generalizing the deduction theorem (Q898771) (← links)
- Linear temporal logic with until and next, logical consecutions (Q947268) (← links)
- Constructive agents (Q1688949) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Admissibility in positive logics (Q1689558) (← links)
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
- Distributive bilattices from the perspective of natural duality theory. (Q2343033) (← links)
- Admissibility via natural dualities (Q2349950) (← links)
- Description of modal logics which enjoy co-cover property (Q2676814) (← links)
- Globally admissible inference rules (Q2685547) (← links)
- Proof-theoretic harmony: towards an intensional account (Q2695033) (← links)
- ON FLATTENING ELIMINATION RULES (Q2940866) (← links)
- A Tableau Method for Checking Rule Admissibility in S4 (Q3185759) (← links)
- HARMONISING HARMONY (Q3195584) (← links)
- Constructive definition of certain analytic sets of numbers (Q3265667) (← links)
- On Inversion Principles (Q3518563) (← links)
- Canonical rules (Q3655251) (← links)
- Popper's theory of deductive inference and the concept of a logical constant (Q3684103) (← links)
- Checking Admissibility Using Natural Dualities (Q4617979) (← links)
- Hermann Weyl's Intuitionistic Mathematics (Q4847387) (← links)
- The anatytic conception of truth and the foundations of arithmetic (Q4953208) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Operation and Predicativity: Lorenzen’s Approach to Arithmetic (Q5024722) (← links)
- Conceptions of Infinity and Set in Lorenzen’s Operationist System (Q5024723) (← links)
- Lorenzen and Constructive Mathematics (Q5024724) (← links)
- HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS (Q5117590) (← links)
- The Context of Inference (Q5208107) (← links)
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)
- Logical consecutions in discrete linear temporal logic (Q5486245) (← links)
- Zur Stufenreduktion von Kalkülen (Q5541307) (← links)
- A Lemma which Distinguishes Minimal Logics from Other Logics (Q5546771) (← links)
- On a Characteristic Feature of the Positive Logics (Q5546780) (← links)
- Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik (Q5549787) (← links)
- Die Äquivalenz des Klassischen und Intuitionistischen Ableitungsbegriffs im Gentzen-Quine-Kalkül und in Kleenes KalkülH (Q5567821) (← links)
- A survey of proof theory (Q5569099) (← links)
- Quantenlogik (Q5607963) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
- HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY (Q5741620) (← links)
- Explicit basis for admissible rules in \(K\)-saturated tabular logics (Q6043885) (← links)
- Admissible inference rules of modal WCP-logics (Q6193927) (← links)
