scientific article
From MaRDI portal
Publication:3229402
zbMath0068.00801MaRDI QIDQ3229402
Publication date: 1955
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Almost structural completeness; an algebraic approach, The information in intuitionistic logic, Unnamed Item, General-elimination harmony and the meaning of the logical constants, The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics, Structural and universal completeness in algebra and logic, Material dialogues for first-order logic in constructive type theory, Least \(V\)-quasivarieties of MV-algebras, An explicit basis for \textit{WCP}-globally admissible inference rules, An explicit basis for admissible inference rules in table modal logics of width 2, Admissible rules in the implication-negation fragment of intuitionistic logic, Hereditarily structurally complete intermediate logics: Citkin's theorem via duality, 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, From Mathesis Universalis to Provability, Computability, and Constructivity, Dialogues, Reasons and Endorsement, The Truth of Proof: A Hegelian Perspective on Constructivism, A new concept of predicative truth and definability, Continuum, name and paradox, Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic, Finitary extensions of the nilpotent minimum logic and (almost) structural completeness, Dialectic, the Dictum de Omni and Ecthesis, PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION, General-Elimination Harmony and Higher-Level Rules, Harmony in Proof-Theoretic Semantics: A Reductive Analysis, Steps towards a proof-theoretical semantics, The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle
