scientific article; zbMATH DE number 3009953
From MaRDI portal
Publication:4754492
zbMath0007.19303MaRDI QIDQ4754492
No author found.
Publication date: 1933
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (30)
Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator ⋮ Basic properties of deductive systems based on nonclassical logics. Part I, II ⋮ The modal logic of Gödel sentences ⋮ Three-valued logics in modal logic ⋮ A modal theorem-preserving translation of a class of three-valued logics of incomplete information ⋮ The defective conditional in mathematics ⋮ What is a logic translation? ⋮ Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect ⋮ Executability and connexivity in an interpretation of Griss ⋮ Logic Discovered and Logic Imposed (A Purim Story) ⋮ A semantic framework for proof evidence ⋮ The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem ⋮ The Logic of Justification ⋮ Translation from three-valued quantum logic to modal logic ⋮ On non-self-referential fragments of modal logics ⋮ Modal companions of intermediate propositional logics ⋮ The axiomatization of S. Jaskowski's discussive system ⋮ Discussive sentential calculuc of Jaskowski ⋮ Conservativity for Logics of Justified Belief ⋮ Kurt Gödel's intellectual development. [In memoriam Kurt Gödel (28 April 1906 -- 14 January 1978).] ⋮ The Minimal System of Justification Logic with Names ⋮ Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics ⋮ Maksimova, Relevance and the Study of Lattices of Non-classical Logics ⋮ Lattice NExtS4 from the Embedding Theorem Viewpoint ⋮ Proof Complexity of Non-classical Logics ⋮ On logics with coimplication ⋮ Intuitionistische Kennzeichnung der endlichen Spezies ⋮ Round Squares Are No Contradictions (Tutorial on Negation Contradiction and Opposition) ⋮ Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory ⋮ The modal logic of provability. The sequential approach
This page was built for publication:
