Eine Darstellung der Intuitionistischen Logik in der Klassischen

DOI10.1017/S0027763000018055zbMath0056.24702OpenAlexW1503796635MaRDI QIDQ5829018

Shôji Maehara

Publication date: 1954

Published in: Nagoya Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0027763000018055

zbMATH Keywords

Philosophy and foundations of mathematics

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

• Untersuchungen über das logische Schliessen. I
• Intuitionistische Untersuchungen der formalistischen Logik