scientific article
From MaRDI portal
Publication:3226736
zbMath0066.24802MaRDI QIDQ3226736
Publication date: 1955
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (48)
A Lemma which Distinguishes Minimal Logics from Other Logics ⋮ On a Characteristic Feature of the Positive Logics ⋮ On rules ⋮ Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik ⋮ Die Äquivalenz des Klassischen und Intuitionistischen Ableitungsbegriffs im Gentzen-Quine-Kalkül und in Kleenes KalkülH ⋮ A survey of proof theory ⋮ Logic reduced to bare (proof-theoretical) bones ⋮ Logicism as making arithmetic explicit ⋮ A Tableau Method for Checking Rule Admissibility in S4 ⋮ HARMONISING HARMONY ⋮ Quantenlogik ⋮ ON FLATTENING ELIMINATION RULES ⋮ Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition ⋮ Hermann Weyl's Intuitionistic Mathematics ⋮ Explicit basis for admissible rules in \(K\)-saturated tabular logics ⋮ Description of modal logics which enjoy co-cover property ⋮ Constructive agents ⋮ Eliminating disjunctions by disjunction elimination ⋮ Admissibility in positive logics ⋮ Reflecting rules: a note on generalizing the deduction theorem ⋮ Globally admissible inference rules ⋮ Admissible inference rules of modal WCP-logics ⋮ HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS ⋮ On Inversion Principles ⋮ Proof-theoretic harmony: towards an intensional account ⋮ Constructive definition of certain analytic sets of numbers ⋮ Checking Admissibility Using Natural Dualities ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ A curious dialogical logic and its composition problem ⋮ Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation ⋮ Linear temporal logic with until and next, logical consecutions ⋮ General-elimination stability ⋮ PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS ⋮ The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony ⋮ HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY ⋮ The anatytic conception of truth and the foundations of arithmetic ⋮ The Context of Inference ⋮ Logical consecutions in discrete linear temporal logic ⋮ Canonical rules ⋮ Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV ⋮ Distributive bilattices from the perspective of natural duality theory. ⋮ Popper's theory of deductive inference and the concept of a logical constant ⋮ Admissibility via natural dualities ⋮ Operation and Predicativity: Lorenzen’s Approach to Arithmetic ⋮ Conceptions of Infinity and Set in Lorenzen’s Operationist System ⋮ Lorenzen and Constructive Mathematics ⋮ Zur Stufenreduktion von Kalkülen
This page was built for publication:
