Pages that link to "Item:Q5787742"
From MaRDI portal
The following pages link to Proofs of non-deducibility in intuitionistic functional calculus (Q5787742):
Displayed 15 items.
- Topological forcing semantics with settling (Q408537) (← links)
- Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa (Q865044) (← links)
- The real-algebraic structure of Scott's model of intuitionistic analysis (Q1059071) (← links)
- Application of the algebra of polyrelatives to game theory (Q1843390) (← links)
- The abstract variable-binding calculus (Q1896759) (← links)
- St. Leśniewski's protothetics (Q2652280) (← links)
- A geometric interpretation of logical formulae (Q2652283) (← links)
- Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae (Q3259069) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- On formulas of one variable in intuitionistic propositional calculus (Q3843602) (← links)
- QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES (Q5241228) (← links)
- On logics intermediate between intuitionistic and classical predicate logic (Q5518354) (← links)
- Propositional Calculus and Realizability (Q5822056) (← links)
- Exploring the Jungle of Intuitionistic Temporal Logics (Q6063858) (← links)
- Book review of: P. Cintula, C. Noguera, Logic and implication. An introduction to the general algebraic study of non-classical logics (Q6115856) (← links)