Eine Darstellung der Intuitionistischen Logik in der Klassischen
From MaRDI portal
Publication:5829018
DOI10.1017/S0027763000018055zbMath0056.24702OpenAlexW1503796635MaRDI QIDQ5829018
Publication date: 1954
Published in: Nagoya Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0027763000018055
Related Items
Cartesian isomorphisms are symmetric monoidal: A justification of linear logic, Multiple Conclusion Linear Logic: Cut Elimination and More, A linear logic framework for multimodal logics, A constructive logic behind the catch and throw mechanism, MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description), Constructing a continuum of predicate extensions of each intermediate propositional logic, A note on sequent calculi intermediate between LJ and LK, Distributive-lattice semantics of sequent calculi with structural rules, An ecumenical notion of entailment, Automated Constructivization of Proofs, A fresh view of linear logic as a logical framework, Maehara-style modal nested calculi, Intuitionistic Decision Procedures Since Gentzen, Through an Inference Rule, Darkly, Modal companions of intermediate propositional logics, Modal translations in substructural logics, Specifying Proof Systems in Linear Logic with Subexponentials, A framework for proof systems, Fuzzy semantics for multiple-conclusion sequential calculi with structural rules, Non-Commutative First-Order Sequent Calculus, Automating Theories in Intuitionistic Logic, A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems, On the Blok-Esakia Theorem, Extensional interpretations of modal logics
Cites Work
