scientific article; zbMATH DE number 3115105
From MaRDI portal
Publication:3229402
zbMATH Open0068.00801MaRDI QIDQ3229402FDOQ3229402
Authors: Paul Lorenzen 
Publication date: 1955
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 3112788
- scientific article; zbMATH DE number 108465
- scientific article; zbMATH DE number 3997750
- scientific article; zbMATH DE number 3028332
- scientific article; zbMATH DE number 3291107
- scientific article; zbMATH DE number 3296220
- scientific article; zbMATH DE number 3022976
- scientific article; zbMATH DE number 4057470
Cited In (30)
- Dialogues, reasons and endorsement
- The truth of proof: a Hegelian perspective on constructivism
- Structural and universal completeness in algebra and logic
- General-elimination harmony and the meaning of the logical constants
- 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
- Material dialogues for first-order logic in constructive type theory
- Dialectic, the \textit{dictum de omni} and ecthesis
- 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
- Proof-theoretic semantics: an autobiographical survey
- Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic
- 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
- An explicit basis for \textit{WCP}-globally admissible inference rules
- Finitary extensions of the nilpotent minimum logic and (almost) structural completeness
- Preservation of structural properties in intuitionistic extensions of an inference relation
- Material dialogues for first-order logic in constructive type theory: extended version
- A new concept of predicative truth and definability
- 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)
