scientific article; zbMATH DE number 3212008
From MaRDI portal
Publication:5339292
zbMath0131.00701MaRDI QIDQ5339292
Publication date: 1964
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Some calculus for a logic of change, A computational interpretation of conceptivism, Intuitionistic completeness of first-order logic, Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik, On duality and model theory for polyadic spaces, Nested sequents for intermediate logics: the case of Gödel-Dummett logics, Unnamed Item, Nested sequents for intuitionistic logics, Unnamed Item, On Split Negation, Strong Negation, Information, Falsification, and Verification, A semantic hierarchy for intuitionistic logic, Non-classical propositional calculi in relation to methodological patterns of scientific investigation, A Kripke-style semantics for R-mingle using a binary accessibility relation, Intuitionistic logic with strong negation, The logic of modal changes LMC, On logics with coimplication, On maximal intermediate predicate constructive logics, DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV, Programming interfaces and basic topology, Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice, R-Mingle is Nice, and so is Arnon Avron, Dual intuitionistic logic and a variety of negations: the logic of scientific research, Informational interpretation of substructural propositional logics
