Pages that link to "Item:Q5579000"
From MaRDI portal
The following pages link to THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE" (Q5579000):
Displaying 12 items.
- Intuitionistic logic and Muchnik degrees (Q412013) (← links)
- Proof analysis in intermediate logics (Q661286) (← links)
- A cut-free Gentzen-type system for the logic of the weak law of excluded middle (Q1100191) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem (Q2062200) (← links)
- Natural deduction system for three-valued Heyting's logic (Q2403575) (← links)
- Constructive logic and the Medvedev lattice (Q2505132) (← links)
- Computational complexity of the word problem in modal and Heyting algebras with a small number of generators (Q2678341) (← links)
- Coding true arithmetic in the Medvedev and Muchnik degrees (Q3083139) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← links)
- Intuitionistic mereology. II: Overlap and disjointness (Q6166132) (← links)
