Browsing Bulletin of the Section of Logic 45/1 (2016) by Subject

Now showing items 1-20 of 26

Subject
(anti) fuzzy commutative ideal [1]
(anti) permeable C-value [1]
(anti) permeable I-value [1]
03G25 [1]
06F35 [1]
08A72 [1]
arithmetical completeness [1]
C-energetic subset [1]
cut elimination [1]
disjunction property [1]
elementary proofs [2]
first-order logic [1]
GL [1]
I-energetic subset [1]
intuitionistic logic [1]
lambda-calculus [2]
Modal logic [1]
natural deduction [1]
Predicative polymorphism [1]
predicative polymorphism [1]