scientific article; zbMATH DE number 3112788

Cited in

(50)

Constructive agents
Eliminating disjunctions by disjunction elimination
Admissibility in positive logics
The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
Distributive bilattices from the perspective of natural duality theory.
Admissibility via natural dualities
On rules
Description of modal logics which enjoy co-cover property
Globally admissible inference rules
Proof-theoretic harmony: towards an intensional account
On flattening elimination rules
Logic reduced to bare (proof-theoretical) bones
A tableau method for checking rule admissibility in S4
HARMONISING HARMONY
Logicism as making arithmetic explicit
scientific article; zbMATH DE number 3115105 (Why is no real title available?)
Constructive definition of certain analytic sets of numbers
On Inversion Principles
Canonical rules
Popper's theory of deductive inference and the concept of a logical constant
Checking admissibility using natural dualities
Admissibility and refutation: some characterisations of intermediate logics
A curious dialogical logic and its composition problem
Hermann Weyl's Intuitionistic Mathematics
The anatytic conception of truth and the foundations of arithmetic
Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
Operation and predicativity: Lorenzen's approach to arithmetic
Conceptions of infinity and set in Lorenzen's operationist system
Lorenzen and constructive mathematics
Hereditarily structurally complete positive logics
The context of inference
Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
General-elimination stability
Logical consecutions in discrete linear temporal logic
Zur Stufenreduktion von Kalkülen
A Lemma which Distinguishes Minimal Logics from Other Logics
On a Characteristic Feature of the Positive Logics
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
Quantenlogik
Preservation of admissible rules when combining logics
Harmonic inferentialism and the logic of identity
Explicit basis for admissible rules in K-saturated tabular logics
Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
Admissible inference rules of modal WCP-logics
Compositionality in context
Reflecting rules: a note on generalizing the deduction theorem
Linear temporal logic with until and next, logical consecutions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3226736)