MLQ
2016
8 years 25 days ago
2016
Starting from a model V “ZFC + GCH + κ is supercompact + No cardinal is supercompact up to a measurable cardinal”, we force and construct a model V P such that V P “ZFC + ...
MLQ
2016
8 years 25 days ago
2016
MLQ
2016
8 years 25 days ago
2016
We prove that all axiomatic extensions of the full Lambek calculus with exchange can be axiomatized by formulas on the N3 level of the substructural hierarchy.
MLQ
2016
8 years 25 days ago
2016
In this paper, we prove that certain theories of (many-sorted) intuitionistic predicate logic is closed under the independence of premiss rule (IPR). As corollaries, we show that ...