scientific article; zbMATH DE number 3009953

zbMATH Open0007.19303MaRDI QIDQ4754492FDOQ4754492

Authors: Kurt Gödel 

Publication date: 1933

Title of this publication is not available (Why is that?)

zbMATH Keywords

foundations, philosophy, logic

Cited In (35)

• Logic Discovered and Logic Imposed (A Purim Story)
• Bi-intermediate logics of trees and co-trees
• The Logic of Justification
• Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory
• Proof complexity of non-classical logics
• Translation from three-valued quantum logic to modal logic
• Maksimova, relevance and the study of lattices of non-classical logics
• Lattice NExtS4 from the embedding theorem viewpoint
• The orthologic of epistemic modals
• A modal theorem-preserving translation of a class of three-valued logics of incomplete information
• Discussive sentential calculuc of Jaskowski
• The modal logic of provability. The sequential approach
• The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
• The modal logic of Gödel sentences
• Modal companions of intermediate propositional logics
• Subintuitionistic logics and their modal companions: a nested approach
• What is a logic translation?
• Modal reduction principles: a parametric shift to graphs
• Round squares are no contradictions (tutorial on negation contradiction and opposition)
• On logics with coimplication
• Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator
• Conservativity for Logics of Justified Belief
• Basic properties of deductive systems based on nonclassical logics. Part I, II
• Gödel-Dummett linear temporal logic
• The defective conditional in mathematics
• On non-self-referential fragments of modal logics
• A semantic framework for proof evidence
• The axiomatization of S. Jaskowski's discussive system
• Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect
• Three-valued logics in modal logic
• 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
• Intuitionistische Kennzeichnung der endlichen Spezies
• Constructive embedding from extensions of logics of strict implication into modal logics
• Executability and connexivity in an interpretation of Griss

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 Q4754492)