scientific article; zbMATH DE number 3115105

Cited in

(30)

Dialogues, reasons and endorsement
The truth of proof: a Hegelian perspective on constructivism
General-elimination harmony and the meaning of the logical constants
Structural and universal completeness in algebra and logic
Admissible rules in the implication-negation fragment of intuitionistic logic
Steps towards a proof-theoretical semantics
Almost structural completeness; an algebraic approach
The information in intuitionistic logic
General-elimination harmony and higher-level rules
Dialectic, the \textit{dictum de omni} and ecthesis
Material dialogues for first-order logic in constructive type theory
An explicit basis for admissible inference rules in table modal logics of width 2
An explicit basis for admissible rules of modal logics of finite width
The modal logics of the poison game
From mathesis universalis to provability, computability, and constructivity
Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic
Proof-theoretic semantics: an autobiographical survey
Least \(V\)-quasivarieties of MV-algebras
Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms
Continuum, name and paradox
Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
An explicit basis for \textit{WCP}-globally admissible inference rules
Preservation of structural properties in intuitionistic extensions of an inference relation
A new concept of predicative truth and definability
Material dialogues for first-order logic in constructive type theory: extended version
The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle
Basis of globally admissible rules for logic S4
The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
Harmony in Proof-Theoretic Semantics: A Reductive Analysis

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 Q3229402)