THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
From MaRDI portal
Publication:5579000
DOI10.1070/IM1968v002n05ABEH000690zbMath0187.26306OpenAlexW2000863671WikidataQ114849661 ScholiaQ114849661MaRDI QIDQ5579000
Publication date: 1970
Published in: Mathematics of the USSR-Izvestiya (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1070/im1968v002n05abeh000690
Related Items (17)
V. Yankov’s Contributions to Propositional Logic ⋮ AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS ⋮ A cut-free Gentzen-type system for the logic of the weak law of excluded middle ⋮ EPSILON THEOREMS IN INTERMEDIATE LOGICS ⋮ Natural deduction system for three-valued Heyting's logic ⋮ Prior’s OIC nonconservativity example revisited ⋮ Computational complexity of the word problem in modal and Heyting algebras with a small number of generators ⋮ Intuitionistic logic and Muchnik degrees ⋮ Intuitionistic mereology. II: Overlap and disjointness ⋮ HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS ⋮ Proof analysis in intermediate logics ⋮ Through an Inference Rule, Darkly ⋮ Constructive logic and the Medvedev lattice ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ Coding true arithmetic in the Medvedev and Muchnik degrees ⋮ On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem ⋮ Complexity of intuitionistic propositional logic and its fragments
This page was built for publication: THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
