scientific article; zbMATH DE number 3115105

Cited in

(35)

The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle
Least \(V\)-quasivarieties of MV-algebras
Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
A new concept of predicative truth and definability
Steps towards a proof-theoretical semantics
Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
Almost structural completeness; an algebraic approach
From mathesis universalis to provability, computability, and constructivity
Dialogues, reasons and endorsement
The truth of proof: a Hegelian perspective on constructivism
The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
An explicit basis for admissible inference rules in table modal logics of width 2
Preservation of structural properties in intuitionistic extensions of an inference relation
An explicit basis for admissible rules of modal logics of finite width
Dialectic, the \textit{dictum de omni} and ecthesis
General-elimination harmony and higher-level rules
Harmony in Proof-Theoretic Semantics: A Reductive Analysis
General-elimination harmony and the meaning of the logical constants
Structural and universal completeness in algebra and logic
Material dialogues for first-order logic in constructive type theory
An explicit basis for \textit{WCP}-globally admissible inference rules
Admissible rules in the implication-negation fragment of intuitionistic logic
The modal logics of the poison game
Proof-theoretic semantics: an autobiographical survey
Material dialogues for first-order logic in constructive type theory: extended version
Basis of globally admissible rules for logic S4
An Introduction to Lorenzen's ‘Algebraic and Logistic Investigations on Free Lattices’ (1951)
A Neglected Interpretation of Das Kontinuum
Judgments vs Propositions in Alexander of Aphrodisias' Conception of Logic
Decidability of global admissibility of inference rules in logic S4
Dialogical logic and constructive type theory: new explorations
Continuum, name and paradox
Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic
The information in intuitionistic logic
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

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)